M : sig ... end
Sexpable : S2
type ('a, 'b) t
include sig ... end
val t_of_sexp : (Sexp.t ‑> 'a) ‑> (Sexp.t ‑> 'b) ‑> Sexp.t ‑> ('a, 'b) t
val sexp_of_t : ('a ‑> Sexp.t) ‑> ('b ‑> Sexp.t) ‑> ('a, 'b) t ‑> Sexp.t