Structures

The position of an instruction in the program.

The value produced by executing an instruction.

The local variables, parameters, and return address for a function call.

The memory of an interpreted process.

A thread’s call stack.

A virtual machine that executes Hylo’s in-memory IR representation.

An indication of malformed IR.

An ABI we can use to interpret code when matching some real ABI doesn’t matter.

The layout of a type in memory, including the positions of its parts.

A memoizing computer of type layouts.