- z -

• z() : lala::TFormula< Allocator, ExtendedSig >
• zero() : lala::PreB , lala::PreFLB< VT > , lala::PreFUB< VT > , lala::PreZLB< VT > , lala::PreZUB< VT >