Functor Datatype.Make_with_collections

module Make_with_collections: 
functor (X : Make_input-> S_with_collections with type t = X.t
Generic comparable datatype builder: functions equal, compare and hash must not be Datatype.undefined.
Parameters:
X : Make_input

include Datatype.S
module Set: Datatype.Set  with type elt = t
module Map: Datatype.Map  with type key = t
module Hashtbl: Datatype.Hashtbl  with type key = t