ulkb.util.all_map#

all_map(f, xs)[source]#

Tests whether f holds for all x in xs.