pub const PANIC_OP_ID: OpName;Expand description
Name of the prelude panic operation.
This operation can have any input and any output wires; it is instantiated
with two TypeArg::Lists representing these. The first input to the
operation is always an error type; the remaining inputs correspond to the
first sequence of types in its instantiation; the outputs correspond to the
second sequence of types in its instantiation. Note that the inputs and
outputs only exist so that structural constraints such as linearity can be
satisfied.
Panic immediately halts a multi-shot program. It is intended to be used in cases where an unrecoverable error is detected.