SG
Size: a a a
SG
SG
A
A
SG
A
SG
SG
A
SG
AB
let rec run a s e c = match a,s,c withНо мне нужны еще вложенные разборы, а оригинал я найти не могу :с
| _,_,Ldi i::c -> 1
| _,_,Push::c -> 2
| Int n2,Val (Int n1)::s,IOp op::c -> 3
| Int 0,_,Test (c2,_)::c -> 4
| Int _,_,Test (_,c3)::c -> 5
| _,_,Extend::c -> 6
| _,_,Search k::c -> 7
| _,_,Pushenv::c -> 8
| _,Env e::s,Popenv::c -> 9
| _,_,Mkclos cc::c -> 10
| _,_,Mkclosrec cc::c -> 11
| Clo (cc,ce),Val v::s,Apply::c -> 12
| a,(Code c::Env e::s),[] -> 13
| a,[],[] -> 14