functor (M : Stringable.S->
  sig
    type sexpable = M.stringable
    val sexp_of_t : sexpable -> Sexplib.Sexp.t
    val t_of_sexp : Sexplib.Sexp.t -> sexpable
  end