Sha256: 3a5f249f86def6051c5604f970cc981a64a3bdab7663c31cab9931569d79c340

Contents?: true

Size: 266 Bytes

Versions: 8

Compression:

Stored size: 266 Bytes

Contents

(*
 {{META.desc}}
 - modelData {{META.modelData}}
 - template  {{META.template}}

 Invariant partials: {{#ACTIONS.dump_partials}}invariant{{/ACTIONS.dump_partials}}

*)

\* Operators for correctness 
{{>correctness}}

\* Operators for possibilities
{{>possibility}}

Version data entries

8 entries across 4 versions & 1 rubygems

Version Path
tla-sbuilder-0.3.9 src-extend/extend/extend_invariant.mustache
tla-sbuilder-0.3.9 src/pet/extend/extend_invariant.mustache
tla-sbuilder-0.3.8 src-extend/extend/extend_invariant.mustache
tla-sbuilder-0.3.8 src/pet/extend/extend_invariant.mustache
tla-sbuilder-0.3.7 src-extend/extend/extend_invariant.mustache
tla-sbuilder-0.3.7 src/pet/extend/extend_invariant.mustache
tla-sbuilder-0.3.4 src-extend/extend/extend_invariant.mustache
tla-sbuilder-0.3.4 src/pet/extend/extend_invariant.mustache