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_errortype_errordomain_errorif a PredSpec is not a valid procedure specification