logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . Literals . Conv
val of_forms : ?hooks:Literal.Conv.hook_from list -> term SLiteral.t list -> t

Convert a list of atoms into literals

val to_forms : ?hooks:Literal.Conv.hook_to list -> t -> term SLiteral.t list

To list of formulas

val to_s_form : ?allow_free_db:bool -> ?ctx:Term.Conv.ctx -> ?hooks:Literal.Conv.hook_to list -> t -> TypedSTerm.Form.t
val to_tst : t -> TypedSTerm.t