|
|
|---|
|
|
|
|---|
Fixtype of literals.
This is a tagged union type, introduced by fty::deftagsum.
Boolean literals are straightforward.
We represent a decimal literal as a natural number. Since the Yul grammar requires no leading zeros in decimal numbers, a natural number captures the full information.
We represent a hexadecimal literal as a list of hex digits, which therefore captures full information: leading zeros and capitalization of the letters.
We represent plain and hex strings as described in plain-string and hex-string.