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