Next: , Previous: bv, Up: Predicate Rules


6.3.6 Null Quantifier