Module WpPropId.PropId

module PropId: Datatype.Make_with_collections(sig
type t = WpPropId.prop_id 
include Datatype.Undefined
val 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