functor (S : S) ->
functor
(M : sig
type t
val to_sexpable : Sexpable.t -> Sexpable.S.t
val of_sexpable : Sexpable.S.t -> Sexpable.t
end) ->
sig
val t_of_sexp : Sexplib.Sexp.t -> M.t
val sexp_of_t : M.t -> Sexplib.Sexp.t
end