add not to std/op
This commit is contained in:
parent
81496aae24
commit
19dd48991e
|
@ -15,6 +15,9 @@ neq(x,y) -> x != y.
|
||||||
lt(x,y) -> x<y.
|
lt(x,y) -> x<y.
|
||||||
gt(x,y) -> x>y.
|
gt(x,y) -> x>y.
|
||||||
|
|
||||||
|
not(true) -> false.
|
||||||
|
not(false) -> true.
|
||||||
|
|
||||||
and(true,true) -> true.
|
and(true,true) -> true.
|
||||||
and(_,_) -> false.
|
and(_,_) -> false.
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue