CocoR/Test1/gen/TSet.mod

(* Generated by SimpleM backend *)
MODULE TSet;
VAR
  s : SET OF [0..31];
BEGIN
  s := {1, 'a'}
END TSet.