Contents

procedure proc4( a ) {
   call proc4( var4 );
}

Version data entries

4 entries across 4 versions & 1 rubygems

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