memf

memf : ((x -> boolean) (listof x) -> (union false (listof x)))

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


Intermediate Student Language


Google