type 'a t
val equal : 'a t ‑> 'a t ‑> Core_kernel__.Import.bool
val sexp_of_t : ('a ‑> Sexp.t) ‑> 'a t ‑> Sexp.t
val value : 'a t ‑> 'a