CocoR/Test1/gen/TBool.mod

(* Generated by SimpleM backend *)
MODULE TBool;
VAR
  x, y : INTEGER;
  b : BOOLEAN;
BEGIN
  b := x AND y
END TBool.