Next: mpg-ref-nospyall, Previous: mpg-ref-nonvar, Up: mpg-bpr [Contents][Index]
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