vstd::prelude

Function forall

pub fn forall<A>(_a: A) -> bool