Module Monoid.Free.Order

module Order: sig .. end

val lexicographic : (X.t -> X.t -> bool) -> Monoid.Free.t -> Monoid.Free.t -> bool

val deglex : (X.t -> X.t -> bool) -> Monoid.Free.t -> Monoid.Free.t -> bool