Module WpPropId.Names

module Names: sig .. end

module NamesTbl: State_builder.Hashtbl(Datatype.String.Hashtbl)(Datatype.Int)(sig
val name : string
val dependencies : 'a list
val size : int
end)
module IndexTbl: State_builder.Hashtbl(WpPropId.PropId.Hashtbl)(Datatype.String)(sig
val name : string
val dependencies : State.t list
val size : int
end)
val base_id_prop_txt : Property.identified_property -> string
val basename_of_prop_id : WpPropId.prop_id -> string
val normalize_basename : string -> string
function used to normanize basename
val reserve_name_id : NamesTbl.key -> NamesTbl.key
returns the name that should be returned by the function get_prop_name_id if the given property has name as basename. That name is reserved so that get_prop_name_id prop can never return an identical name.
val get_prop_id_basename : WpPropId.prop_id -> string
returns the basename of the property.
val get_prop_id_name : IndexTbl.key -> IndexTbl.data
returns a unique name identifying the property. This name is built from the basename of the property.