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