type ('a, 'b) t
val to_sexpable : ('a, 'b) t ‑> ('a, 'b) Sexpable.t
val of_sexpable : ('a, 'b) Sexpable.t ‑> ('a, 'b) t