package logtk

  1. Overview
  2. Docs
On This Page
  1. Conversions
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Literal.ConvSource

Conversions

Sourcetype hook_from = term SLiteral.t -> t option
Sourcetype hook_to = t -> term SLiteral.t option
Sourceval of_form : ?hooks:hook_from list -> term SLiteral.t -> t

Conversion from a formula. By default no ordering or arith theory is considered.

Sourceval to_form : ?hooks:hook_to list -> t -> term SLiteral.t
Sourceval to_s_form : ?allow_free_db:bool -> ?ctx:Term.Conv.ctx -> ?hooks:hook_to list -> t -> TypedSTerm.Form.t
Sourceval lit_to_tst : ?ctx:Term.Conv.ctx -> term SLiteral.t -> TypedSTerm.t