Sha256: 86282c7267d92e430c051a4eb8f6fbc2c9b08e3bf164933a5c7a2285b31495a5
Contents?: true
Size: 321 Bytes
Versions: 7
Compression:
Stored size: 321 Bytes
Contents
(* ******************************************************************
Helpers to make assumptions
******************************************************************)
\* True iff in all records in 'set' have 'field' type 'domain'
Assume_CorrectDomain( set, field, domain ) == { p[field] : p \in set } = domain
Version data entries
7 entries across 7 versions & 1 rubygems