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