(module kernel_intrinsic_smoke
  (kernel)
  (fn smoke
    (doc "Schema-coverage fixture: exercises Term::Intrinsic in a kernel-tier module.")
    (type (fn-type (params) (ret (own (con Int)))))
    (params)
    (intrinsic)))