ulkb.util.any_map#

any_map(f, xs)[source]#

Tests whether f holds for some x in xs.