ulkb documentation
Site Navigation
Section Navigation
Tests whether f holds for all x in xs.
all_map()