2 lines
96 B
Text
2 lines
96 B
Text
let logicOps(a, b) := (a && b, a || b, !a)
|
|
assert(logicOps(true, false) = (false, true, false))
|