functor (S1 : Sexpable.S) -> functor (S2 : Sexpable.S) -> sig val t_of_sexp : Sexplib.Sexp.t -> Make(S1)(S2).t val sexp_of_t : Make(S1)(S2).t -> Sexplib.Sexp.t end