================ module Bool ========================== Implementation of bool type functions. ------------------------------------------------------- Author: Rudla Kudla Language: English Version: 1.0 ======================================================= ================== bool -> type ======================= Bool data type (value true or false). ======================================================= sys_value#28 ================= true -> bool ======================== Boolean value representing true. ======================================================= sys_value#29 ================== false -> bool ====================== Boolean value representing false. ======================================================= sys_value#30 ================ not {b:bool} -> bool ================= Logical negation. ------------------------------------------------------- Priority: 12 ======================================================= if b then false else true ========== {x:bool} and {y:func} -> bool ============== Returns true if both x and y are true. If x is false, y is not evaluated. ------------------------------------------------------- Priority: 10 ======================================================= if x then y else false ======== {x:bool} or {y:func} -> bool ================= Returns true if x or y or both is true. If x is true, y is not evaluated. ------------------------------------------------------- Priority: 8 ======================================================= if x then true else y ==== either {x:bool} or {y:bool} -> bool ============== Returns true if either x or y is true. ------------------------------------------------------- Priority: 8 ======================================================= if x then (not y) else y ==== neither {x:bool} nor {y:func} -> bool ============ Returns true if neither x nor y is true. If x is true, y is not evaluated. ------------------------------------------------------- Priority: 8 ======================================================= not x and not y