Spec verifier for early detection of invalid export arity

It looks like you want to use a not :)