sig
type t = {
clause : Clause_intf.S.clause;
pos : Libzipperposition.Position.t;
term : Libzipperposition.FOTerm.t;
}
val compare : Clause_intf.S.WithPos.t -> Clause_intf.S.WithPos.t -> int
val pp : Clause_intf.S.WithPos.t CCFormat.printer
end