function-queries

arity arity-plus defchoose-queries definedp definedp-plus defun-sk-queries formals-plus fundef-disabledp fundef-enabledp get-measure get-measure-plus get-ruler-extenders get-ruler-extenders-plus get-well-founded-relation get-well-founded-relation-plus guard-theorem-no-simplify guard-theorem-no-simplify-dollar guard-verified-p guard-verified-p-plus ibody induction-machine induction-machine-plus irecursivep irecursivep-plus measured-subset measured-subset-plus no-stobjs-p no-stobjs-p-plus non-executablep non-executablep-plus number-of-results number-of-results-plus primitivep primitivep-plus pure-raw-p rawp recursive-calls stobjs-in-plus stobjs-out-plus tail-recursive-p termination-theorem-dollar ubody ubody-plus uguard uguard-plus unwrapped-nonexec-body unwrapped-nonexec-body-plus