Contents

\*
procedure stmt_either( id_type ) {

       either {
           var4 := TRUE;
       } or {
           var5 := FALSE;
       };

}

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
tla-parser-s-0.2.5	spec/fixtures/resolver1/stmt_either.tla
tla-parser-s-0.2.2	spec/fixtures/resolver1/stmt_either.tla
tla-parser-s-0.1.2	spec/fixtures/resolver1/stmt_either.tla
tla-parser-s-0.1.0	spec/fixtures/resolver1/stmt_either.tla