Module quil_rs::program::type_check

source ·
Expand description

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