Module Bool_clause

module Bool_clause: sig .. end

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