Sha256: c26c64b9adca996c53ce318a16c204c34312584bdd0c6004a09a72800ff6fe88
Contents?: true
Size: 239 Bytes
Versions: 3
Compression:
Stored size: 239 Bytes
Contents
Model version: {{META.model_version}}
Generator version: {{META.version}}
Generation timestemp: {{META.timestamp}}
------------------------------ MODULE model ------------------------------
EXTENDS TLC, FiniteSets, Sequences, Naturals
Version data entries
3 entries across 3 versions & 1 rubygems
| Version | Path |
|---|---|
| tla-sbuilder-0.2.2 | mustache/tla/module_header.mustache |
| tla-sbuilder-0.2.1 | mustache/tla/module_header.mustache |
| tla-sbuilder-0.1.0 | mustache/tla/module_header.mustache |