ACL2-PC::X-DUMB

(atomic macro) expand function call at the current subterm, without simplifying
Major Section:  PROOF-CHECKER-COMMANDS

General Form:
x-dumb:  expand without simplification.

Same as (expand t new-goals-flg keep-all-guards-flg). See documentation for expand.

See also x, which allows simplification.