35 lines
527 B
Text
35 lines
527 B
Text
@(define a (x out))
|
|
@ (output)
|
|
a (@x) called
|
|
@ (end)
|
|
@ (bind out x)
|
|
@(end)
|
|
@(define b (x out))
|
|
@ (output)
|
|
b (@x) called
|
|
@ (end)
|
|
@ (bind out x)
|
|
@(end)
|
|
@(define short_circuit_demo (i j))
|
|
@ (output)
|
|
a(@i) and b(@j):
|
|
@ (end)
|
|
@ (maybe)
|
|
@ (a i "1")
|
|
@ (b j "1")
|
|
@ (end)
|
|
@ (output)
|
|
a(@i) or b(@j):
|
|
@ (end)
|
|
@ (cases)
|
|
@ (a i "1")
|
|
@ (or)
|
|
@ (b j "1")
|
|
@ (or)
|
|
@ (accept)
|
|
@ (end)
|
|
@(end)
|
|
@(short_circuit_demo "0" "0")
|
|
@(short_circuit_demo "0" "1")
|
|
@(short_circuit_demo "1" "0")
|
|
@(short_circuit_demo "1" "1")
|