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


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