Contents

procedure proc5( a ) {
   call proc5( var5 );
}

Version data entries

4 entries across 4 versions & 1 rubygems

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