quil_rs::program

Module 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§