Jump to user comments
contains all elements of both domains, modified to indicate
which part of the union they come from, plus a new bottom
element. There are two constructor functions associated with
inA : A -@# A+B inB : B -@# A+B
inA(a) = (0,a) inB(b) = (1,b)
and a disassembly operation:
This can be generalised to arbitrary numbers of domains.
the data in a file. It also displays the size of the file,
either in kilobyte
s or in 512-byte blocks. The checksum may
differ on machines with 16-bit and 32-bit ints.