module type S_with_collections =sig
..end
t
extended with predefined set, map and hashtbl
over t
.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