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