| definition: |
reduceAsInCmd :: Command -> Command
reduceAsInCmd cmd = case cmd of
Assert t -> Assert (reduceAsInTerm t)
DefineFunsRec fs -> DefineFunsRec
(map (\(fd,t) -> (fd, reduceAsInTerm t)) fs)
DefineSigsRec fs -> DefineSigsRec
(map (\(is,fd,t) -> (is, fd, reduceAsInTerm t)) fs)
_ -> cmd
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
Remove As-identifiers if they are functions (for better readability): |
| failfree: |
_ |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({Assert}) |-> {Assert} || ({DefineFunsRec}) |-> {DefineFunsRec} || ({DefineSigsRec}) |-> {DefineSigsRec} || ({CheckSat}) |-> {CheckSat} || ({Comment}) |-> {Comment} || ({DeclareVar}) |-> {DeclareVar} || ({DeclareDatatypes}) |-> {DeclareDatatypes} || ({DeclareFun}) |-> {DeclareFun} || ({DeclareSort}) |-> {DeclareSort} || ({EmptyLine}) |-> {EmptyLine}}
|
| name: |
reduceAsInCmd |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Command -> Command |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
reducible on all ground data terms |