Module Literals.Conv

module Conv: sig .. end

val of_forms : ?hooks:Literal.Conv.hook_from list ->
       Literals.term Libzipperposition.SLiteral.t list -> Literals.t

Convert a list of atoms into literals

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

To list of formulas