EVISCERATE-HIDE-TERMS.html -- ACL2 Version 6.3

## EVISCERATE-HIDE-TERMS

to print `(hide ...)` as `<hidden>`

    Major Section:  IO

    Example:
    (assign eviscerate-hide-terms t)
    (assign eviscerate-hide-terms nil)

`Eviscerate-hide-terms` is a `state` global variable whose value is either `t` or `nil`. The variable affects how terms are displayed by default (but not if you have set the term-evisc-tuple to other than its default; see set-evisc-tuple). If `t`, terms of the form `(hide ...)` are printed as `<hidden>`. Otherwise, they are printed normally.