1
0
Fork 0
mirror of https://github.com/Reuh/anselme.git synced 2025-10-27 16:49:31 +00:00
anselme/test/tests/lazy boolean operators.ans

23 lines
198 B
Text

:$ a
|a
return(1)
:$ b
|b
return(())
|{a! & b!} = a b ()
|{b! & a!} = b ()
|{a! & a!} = a a 1
|{b! & b!} = b ()
|{a! | b!} = a 1
|{b! | a!} = b a 1
|{a! | a!} = a 1
|{b! | b!} = b b ()