module PropId:Datatype.Make_with_collections
(
sig
typet =
WpPropId.prop_id
include Datatype.Undefinedval name :string
val reprs :WpPropId.prop_id list
val hash :WpPropId.prop_id -> int
val compare :WpPropId.prop_id -> WpPropId.prop_id -> int
val equal :WpPropId.prop_id -> WpPropId.prop_id -> bool
val copy :'a -> 'b
val rehash :'a -> 'a
val internal_pretty_code :'a -> 'b
val pretty :'a -> 'b
val mem_project :(Project_skeleton.t -> bool) -> 'a -> bool
val varname :'a -> 'b
end
)
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