Functor Univ_map.Make

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