Contents

macro assignit2( local ) {

      var5[x] := var4;

}

Version data entries

4 entries across 4 versions & 1 rubygems

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