logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk_proofs . LLTerm . Conv
type ctx
val create : unit -> ctx
val of_term : ctx -> Logtk.TypedSTerm.t -> t