logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . Precedence . Seq
val symbols : t -> ID.t Iter.t