Previous  Up  

Module Clause_intf.S.WithPos

module WithPos: sig .. end
Clause within which a subterm (and its position) are hilighted
type t = {
   clause : Clause_intf.S.clause;
   pos : Logtk.Position.t;
   term : Logtk.FOTerm.t;
} 
val compare : t -> t -> int
val pp : t CCFormat.printer