alternation-stuff

The following is valid µOCCAM. This program illustrates ALT statements + stuff

Program file: /public/cs3/web/ipptests-phase-1/alternation-stuff.accept

PAR
  x := 3 +
          4
  SEQ
    PAR
      SEQ
	-- this comment is preceeded by a tab
  SEQ
    ALT b = (3 - 2) FOR 5 
      (4+3) & a?b
        x:=4
  STOP