UniTO/tesi/traces/guards2.lambda
Francesco Mecca dea5a6fbe4 traces
2020-06-30 19:31:56 +02:00

7 lines
253 B
Text

(setglobal Guards2!
(let
(ff/82 =
(function x/83
(if (guard 0a) (observe 1)
(if (guard 1) (observe 2) (observe 3)))))
(makeblock 0 ff/82)))