Module Prim.Result_spec

type 'a t =
| Unit : unit t
| Env : Shexp_process__.Env.t t
| F : ('a -> Shexp_sexp.Std.Sexp.t) -> 'a t