		Search-engine friendly clone of the ACL2 documentation.

Literal-evaluation

Evaluation of Yul literals.

Eval-literal: Evaluate a literal.
Eval-hex-string-literal: Evaluate a hex string literal to a value.
Eval-plain-string-literal: Evaluate a plain string literal to a value.
Ubyte16-to-utf8: UTF-8 encoding of a 16-bit Unicode code point.
Eval-escape: Evaluate an escape to a list of bytes.
Eval-string-element: Evaluate a string element to a list of bytes.
Eval-hex-string-rest-element-list: Evaluate a list of element of hex strings after the first one.
Eval-hex-string-rest-element: Evaluate an element of hex strings after the first one.
Eval-hex-string-content: Evaluate the content of a hex string.
Eval-string-element-list: Evaluate a list of string elements to a list of bytes.
Eval-hex-quad: Evaluate a quadruple of hex digits to a 16-bit unsigned integer.
Eval-hex-pair: Evaluate a pair of hex digits to a byte.