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