Module `Make_cdcl_t.Formula`

type t = Plugin.Formula.t

val equal : t -> t -> bool
val hash : t -> int
val pp : t Msat.Solver_intf.printer
val neg : t -> t
val norm : t -> t * Msat.Solver_intf.negated