sig val self : State.t val get_prop_name_id : Property.identified_property -> string val get_prop_basename : Property.identified_property -> string val reserve_name_id : string -> string end