-module(fp2@predicate). -compile(no_auto_import). -export(['not'/1]). -spec 'not'(fun((ENV) -> boolean())) -> fun((ENV) -> boolean()). 'not'(Predicate) -> fun(A) -> not Predicate(A) end.