type t
= Core_kernel.read_write T1.t
include sig ... end
val sexp_of_t : t ‑> Sexplib.Sexp.t
include Core_kernel.Invariant.S with type t := t
val invariant : t Base__.Invariant_intf.inv