MakeListOrdering.MO
module OrderTac : sig ... end
val eq_dec : O.t -> O.t -> bool
val lt_dec : O.t -> O.t -> bool
val eqb : O.t -> O.t -> bool