Constant boolean_expression::BDD_ZERO

pub const BDD_ZERO: BDDFunc = usize::MAX; // 18_446_744_073_709_551_615usize

A special terminal BDDFunc which is constant false (zero).