type 'a t
include sig ... end
val sexp_of_t : ('a ‑> Sexplib.Sexp.t) ‑> 'a t ‑> Sexplib.Sexp.t
val create : ?docstring:string ‑> Core_kernel.Source_code_position.t ‑> 'a Type.t ‑> Symbol.t ‑> 'a ‑> 'a t