Closed Roman-Manevich closed 1 month ago
Removed the requirement that elements of types must type-satisfy each other. This means that the type of if cond then (0, 63) else (0, 31) is (integer{0}, integer{63,31}).
if cond then (0, 63) else (0, 31)
(integer{0}, integer{63,31})
Removed the requirement that elements of types must type-satisfy each other. This means that the type of
if cond then (0, 63) else (0, 31)
is(integer{0}, integer{63,31})
.