logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . UnifFramework
module S = Subst
module LL = OSeq
module T = Term
module type PARAMETERS = sig ... end
module Make (X : PARAMETERS) : sig ... end