12 lines
286 B
Plaintext
12 lines
286 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;
|
|
|
|
|