Type Alias CanonClauses 

pub type CanonClauses = Vec<Vec<(u32, bool)>>;

A canonicalized CNF: clauses of (var, polarity) literals, each clause sorted+deduped, the clause list sorted+deduped. The node currency of every cofactor DAG here.

Aliased Type

pub struct CanonClauses { /* private fields */ }