CocoR/Test1/gen/TCase.mod

(* Generated by SimpleM backend *)
MODULE TCase;
VAR
  b : BOOLEAN;
  x : INTEGER;
BEGIN
  CASE b OF
  1 : x := 1
  ELSE 
    x := 2
  END
END TCase.