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