Module memory 

Symbolic memory model for the VM.

Functions

peel_slice_elem 🔒

Peel a slice type [T] to its element T (other types unchanged).

utf8_validity_dfa 🔒

Build the boolean expression “bytes form a valid UTF-8 sequence”.