Module Literal.Comp

module Comp: sig .. end

Comparisons

val max_terms : ord:Libzipperposition.Ordering.t -> Literal.t -> Literal.term list

Maximal terms of the literal

val compare : ord:Libzipperposition.Ordering.t ->
       Literal.t -> Literal.t -> Libzipperposition.Comparison.t

partial comparison of literals under the given term ordering