module Make: functor (Data : sig type 'a t val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.tend) -> S with type 'a data = 'a Data.t
functor (
Data
:
sig
type 'a t
'a
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
end
) ->
S
with type 'a data = 'a Data.t
sig type 'a t with sexp_of end