Module Bechamel_notty.Order

type t =
  1. | Increasing
  2. | Decreasing
val increasing : t
val decreasing : t
val orders : (string, t) Stdlib.Hashtbl.t
val add : Bechamel.Measure.witness -> t -> unit
val order_of_label : string -> t
val compare_of_order : t -> float option -> float option -> int
val compare_of_label : string -> float option -> float option -> int