12 lines
288 B
Plaintext
12 lines
288 B
Plaintext
module Data.Bool
|
|
|
|
datatype Bool = True() | False();
|
|
|
|
export (&)(x :: Bool, y :: Bool) :: Bool = prim%and;
|
|
export (|)(x :: Bool, y :: Bool) :: Bool = prim%or;
|
|
export (^)(x :: Bool, y :: Bool) :: Bool = prim%xor;
|
|
export not(x :: Bool) :: Bool = prim%not;
|
|
export otherwise :: Bool = True;
|
|
|
|
|