logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . Monome . Seq
val terms : _ t -> term Iter.t
val vars : _ t -> Term.var Iter.t
val coeffs : 'a t -> ('a * term) Iter.t
val coeffs_swap : 'a t -> (term * 'a) Iter.t