cakeml
cakeml copied to clipboard
Remove unnecessary header words
For data whose tag and length can be completely represented in its pointer, there should be no need for a header word. This involves changing the data_to_wordProps invariants.