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