vstd::prelude

Function assert_forall_by

pub fn assert_forall_by<A>(_a: A)