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