{{!

   run_domains.mustache - define domain values

   - iterate #domain_values
   - include Nil to valid domain value if property 'nil-value' defined

}}

(******************************************************************
Assign values to skeleton domains: {{META.desc}}
 - modelData {{META.modelData}}
 - template  {{META.template}}
*******************************************************************)

(* Domains for {{META.setup}} start *)
{{#domains}}{{!

     iteratete 'domain_values' && output 'value'
     'tlaBaseType': wrap domain values in set brackets
     'nil_value' : union { Nil }

}}
Run_{{#SPEC_NAME}}domains.{{domain_name}}{{/SPEC_NAME}} == {{^tlaBaseType}}{ {{/tlaBaseType}}{{#domain_values}}{{{value}}}{{_comma}} {{/domain_values}} {{^tlaBaseType}} }{{/tlaBaseType}} {{#nil_value}} \cup {Nil} {{/nil_value}}
{{/domains}}
(* Domains for {{META.setup}} end *)