((/centaur/gl/param.lisp::bfr-to-param-space (nil nil nil nil nil (bfr-case) nil) ((:bdd :aig) nil nil (acl2::to-param-space acl2::aig-restrict) nil nil nil) ((p x x) nil nil (acl2::aig-extract-iterated-assigns-alist) nil nil nil) ((p) (10) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/gl/param.lisp::bfr-list-to-param-space (nil nil nil nil nil (bfr-case) nil) ((:bdd :aig) nil nil (acl2::to-param-space-list acl2::aig-restrict-list) nil nil nil) ((p x x) nil nil (acl2::aig-extract-iterated-assigns-alist) nil nil nil) ((p) (10) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/gl/param.lisp::bfr-param-env (nil nil nil nil nil (bfr-case) nil) ((:bdd :aig env) nil nil (acl2::param-env) nil nil nil) ((p env) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/gl/param.lisp::shape-spec-to-gobj-param (nil nil nil (gobj-to-param-space) nil nil nil) ((p) nil (shape-spec-to-gobj) nil nil nil nil) ((spec) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/gl/param.lisp::shape-spec-to-env-param (nil nil nil (genv-param) nil nil nil) ((p) nil nil (shape-spec-to-env) nil nil nil) ((x obj) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))