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