Functor Datatype.With_collections

module With_collections: 
functor (X : S-> 
functor (Info : Functor_info-> S_with_collections with type t = X.t

Add sets, maps and hashtables modules to an existing datatype, provided the equal, compare and hash functions are not Datatype.undefined.

Parameters:
X : S
Info : Functor_info

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