Contents

{{!

   state_type_constraint: type invariant operator for a varibale

}}


(******************************************************************
Type invariants:  {{META.desc}}
 - modelData {{META.modelData}}
 - template  {{META.template}}
******************************************************************)

{{#variables}}
{{>name_type_invariant.mustache}} == \A entry \in {{>name_variable.mustache}}: entry \in {{>name_interface_type.mustache}}
{{/variables}}

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
tla-sbuilder-0.2.2	mustache/state_type_invariant.mustache
tla-sbuilder-0.2.1	mustache/state_type_invariant.mustache
tla-sbuilder-0.1.0	mustache/state_type_invariant.mustache