nospy/1¶

nospy( + P )*

Removes spy-points from all predicates specified by P. The possible forms for P are the same as in spy P.