Header compaction
T_Data
T_Data
seqno
T_Last
Hash
seqno
•
Less space
•
Faster processing
As NuPrl generates code, it will notice that certain header values are constant.
These constants are hashed together, saving space and processing overhead.
