type t
= Core_kernel.read_write T1.t
val sexp_of_t : t ‑> Sexplib.Sexp.t
val invariant : 'a T1.t ‑> unit