package aez

  1. Overview
  2. Docs
type comparator =
  1. | Eq
  2. | Neq
  3. | Le
  4. | Lt
type combinator =
  1. | And
  2. | Or
  3. | Imp
  4. | Not
type t =
  1. | Lit of Literal.LT.t
  2. | Comb of combinator * t list
val f_true : t
val f_false : t
val make_lit : comparator -> Term.t list -> t
val make : combinator -> t list -> t
val make_cnf : t -> Literal.LT.t list list
val print : Format.formatter -> t -> unit