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