module Names:sig
..end
val self : State.t
val get_prop_name_id : Property.identified_property -> string
returns a unique name identifying the property. This name is built from the basename of the property.
val get_prop_basename : Property.identified_property -> string
returns the basename of the property.
val reserve_name_id : string -> string
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.