CocoR/Test1/gen/TArith.mod

(* Generated by SimpleM backend *)
MODULE TArith;
VAR
  x : INTEGER;
  b : BOOLEAN;
BEGIN
  x := b + 1
END TArith.