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