Function forall 

pub fn forall<'st>(
    st: &'st Storage,
    vars: impl QuantifierVars<'st>,
    term: Bool<'st>,
) -> Bool<'st>

Universally quantifies over vars in expression term.