(check (= (and true true) true))
(check (= (and true false) false))
(check (= (or true false) true))
(check (!= (or true false) false))

(check (= (bool-= 1 1) true))
(check (= (bool-= -5 -5) true))
(check (= (bool-= 1 3) false))
(check (= (bool-= 3 1) false))

(check (= (bool-< 1 2) true))
(check (= (bool-< 2 1) false))
(check (= (bool-< 1 1) false))

(check (= (bool-<= 1 2) true))
(check (= (bool-<= 2 1) false))
(check (= (bool-<= 1 1) true))

(check (= (bool-> 1 2) false))
(check (= (bool-> 2 1) true))
(check (= (bool-> 1 1) false))

(check (= (bool->= 1 2) false))
(check (= (bool->= 2 1) true))
(check (= (bool->= 1 1) true))

; Test bool's tag
(relation R (i64))
(function F (i64) bool)

(rule
    ((R i))
    ((set (F i) true))
)

(R 0)

(run 3)