functor (S1 : Sexpable.S) (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