sig val max_terms : ord:Libzipperposition.Ordering.t -> Literal.t -> Literal.term list val compare : ord:Libzipperposition.Ordering.t -> Literal.t -> Literal.t -> Libzipperposition.Comparison.t end