UniTO/tesi/traces/example9.lambda

6 lines
144 B
Text
Raw Permalink Normal View History

2020-06-30 19:31:56 +02:00
(setglobal Example9!
(let
(test/81 =
(function param/82 (if (!= param/82 0) (observe 0) (observe 1))))
(makeblock 0 test/81)))