Sha256: ff0743b16c39ac5747d77a7b1de8c34e9088cc6f6eadaf8463e815a42bd2bc85
Contents?: true
Size: 283 Bytes
Versions: 6
Compression:
Stored size: 283 Bytes
Contents
(*
Operator combining assumption on all defintions.
*)
Assume_Domains ==
Assume_Pet_Domains
/\ Assume_Id_Domains
/\ Assume_Tag_Domains
/\ Assume_Address_Domains
/\ Assume_Owner_Domains
\* ASSUME Assume_Domains
Version data entries
6 entries across 6 versions & 1 rubygems