nospy/1
developmentnospy +PredSpecs
Any spypoints (plain and conditional) on the predicates represented by PredSpecs are removed.
pred_spec_tree
A predicate specification, or a list of such.
instantiation_error
type_error
domain_error
if a PredSpec is not a valid procedure specification