package libzipperposition

  1. Overview
  2. Docs
On This Page
  1. Boolean Clause
package libzipperposition
Legend:
Library
Module
Module type
Parameter
Class
Class type

Boolean Clause

type bool_lit = BBox.Lit.t
type t = bool_lit list
val proof_tc : t Logtk.Proof.Result.tc
val mk_proof_res : t -> Logtk.Proof.Result.t
exception E_proof of t
val proof_res_as_bc : Logtk.Proof.Result.t -> t option