Module Clause

module Clause: sig  end

val unsat : Jst.t -> t

val is_unsat : t -> bool

val of_list : Atom.t list * Jst.t -> t

val singleton : Fact.t -> t

val pp : t Pretty.printer

val eq : t -> t -> bool

val d_singleton : t -> Fact.t