package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
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