Module type_check

Type check Quil programs.

See the Quil spec.

Enums

TypeError

Different types of errors that can occur during type checking.

Functions

type_check

Check that the instructions of the given program obey the spec with regards to data types.

Type Aliases

TypeResult