Function vstd::prelude::forall

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