Module orzir::verifiers::control_flow

Traits

• IsTerminator
  Verifier IsTerminator for Op.
• NoTerminator
  Verifier NoTerminator for Op.