Sha256: 87a32cee792aaff5c626d6912298e3ccdccf20d9b07b5b6c923d30950b85bd5f
Contents?: true
Size: 254 Bytes
Versions: 7
Compression:
Stored size: 254 Bytes
Contents
(*
{{META.desc}}
- modelData {{META.modelData}}
- template {{META.template}}
*)
\* Type of all entries in 'v_pets' is 't_Pet'
Pets_TypeInvariant == \A entry \in v_pets: entry \in t_Pet
Tags_TypeInvariant == \A entry \in v_tags: entry \in t_Tag
Version data entries
7 entries across 7 versions & 1 rubygems