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