| definition: |
showTermination :: AOutFormat -> Bool -> String showTermination AText True = "terminating" showTermination ANote True = "" showTermination AText False = "possibly non-terminating" showTermination ANote False = "maybe not term." |
| documentation: |
-- Show termination information as a string. |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| name: |
showTermination |
| precedence: |
no precedence defined |
| result-values: |
{:,[]}
|
| signature: |
Analysis.Types.AOutFormat -> Prelude.Bool -> String |
| solution-complete: |
operationally complete operation |