assf

assf : ((x -> boolean) (listof (cons x y)) -> (union false (cons x y)))

purpose:
to determine whether the first argument produces true for some value in the second argument


Intermediate Student Language