Type Definition boolean_expression::BDDFunc

type BDDFunc = usize;

A BDDFunc is a function index within a particular BDD. It must only be used with the BDD instance which produced it.