11.3.125 (nospy)/1

Synopsis

nospy +PredSpecs

Any spypoints (plain and conditional) on the predicates represented by PredSpecs are removed.

Arguments

:PredSpecs

pred_spec_tree

A predicate specification, or a list of such.

Exceptions

instantiation_error

type_error

domain_error

See Also

Basic Debug, Plain Spypoint.