Functor Univ_map.Make1

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.t
end) -> S1 with type ('s, 'a) data = ('s, 'a) Data.t
Parameters:
Data : sig type ('s, 'a) t with sexp_of end