DOWNARROWMATCH - Match Pattern Down Command
Rewrites an expression.
Level 2
Level 1
->
Level 2
Level 1
'
symb
1
'
{ '
symb
pat
' '
symb
repl
' }
->
'
symb
2
'
0/1
'
symb
1
'
{ '
symb
pat
' '
symb
repl
' '
symb
cond
' }
->
'
symb
2
'
0/1
Adrian Drury
Last modified: Sun Jun 14 20:05:24 EDT 1998