Closed uncomputable closed 2 months ago
Add representation of values in correspondence to the newly added type module:
UIntValue
UIntType
Value
ResolvedType
StructuralValue
StructuralType
ValueConstructible
TypeConstructible
Depends on #47
Done reviewing 4572cdc1879a949c78dd7a2f9d80c72c09d34237
Rebased and made sure that bit and byte strings uphold the claimed invariants. Didn't prevent the construction of invalid values, but added a FIXME.
Add representation of values in correspondence to the newly added type module:
UIntValue
↔UIntType
Value
↔ResolvedType
StructuralValue
↔StructuralType
ValueConstructible
↔TypeConstructible
Depends on #47