functor (S1 : Sexpable.S->
  functor (S2 : Sexpable.S->
    sig
      type sexpable = S1.sexpable * S2.sexpable
      val sexp_of_t : sexpable -> Sexplib.Sexp.t
      val t_of_sexp : Sexplib.Sexp.t -> sexpable
    end