import TestLib
import XOR

tests =
    [ "0 xor 1" ~: MkBoolX False <> MkBoolX True ~?= MkBoolX True
    ]
-- more when marking

main = testlibMain tests