Up

Module Reader

Signature

type phantom

type 'a t = ('a, phantom) pipe

val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t

val invariant : _ t -> unit