Sha256: 0f7429e6859030f8e3b8f8982ec3cf73a36d5d4e35c44402bc24125dae89d0c0

Contents?: true

Size: 45 Bytes

Versions: 4

Compression:

Stored size: 45 Bytes

Contents

var_quantify = \A a \in op1( var4 ): TRUE

Version data entries

4 entries across 4 versions & 1 rubygems

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