package logtk

You can search for identifiers within the package.

in-package search v0.2.0

Module `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