Constant boolean_expression::BDD_ONE

pub const BDD_ONE: BDDFunc = usize::MAX - 1; // 18_446_744_073_709_551_614usize

A special terminal BDDFunc which is constant true (one).