CurryInfo: rewriting-3.0.0 / Rewriting.Position..>

demand:
 no demanded arguments
deterministic:
 deterministic operation
failfree:
 ()
indeterministic:
 referentially transparent operation
iotype:
 {() |-> {++}}
result-values:
 {++}
solution-complete:
 operationally complete operation
terminating:
 yes
totally-defined:
 reducible on all ground data terms