Module Property.Ordered_by_function

module Ordered_by_function: Datatype.S_with_collections  with type t = identified_property

Datatype with alternative ordering, where properties are ordered according the following criteria: 1. Kf name (global properties ranked first) 2. Kinstr 3. kind of property 4. id of the property

Since 23.0-Vanadium

include Datatype.S

module Set: Datatype.Set  with type elt = t

module Map: Datatype.Map  with type key = t

module Hashtbl: Datatype.Hashtbl  with type key = t