sig val self : State.t val get_prop_name_id : Property.identified_property -> string val get_prop_basename : ?truncate:int -> Property.identified_property -> string end