module Sexpable (S1 : Sexpable.S) (S2 : Sexpable.S) : Sexpable.S with type t := Make (S1) (S2).t
(
S1
:
Sexpable.S
)
S2
with type t := Make (S1) (S2).t
type t
val sexp_of_t : t -> Sexplib.Sexp.t
t -> Sexplib.Sexp.t
val t_of_sexp : Sexplib.Sexp.t -> t
Sexplib.Sexp.t -> t