Function assert_forall_by 

pub fn assert_forall_by<A>(_a: A)