air-ir-0.3.0
- air-ir 0.3.0
- Permalink
- Docs.rs crate page
- MIT
- Links
- Repository
- Crates.io
- Source
- Owners
- bobbinth
- github:0xpolygonmiden:air-script
- Dependencies
- air-parser ^0.3 normal
  air-pass ^0.1 normal
  anyhow ^1.0 normal
  miden-diagnostics ^0.1 normal
  thiserror ^1.0 normal
- Versions
Platform
Feature flags

Rust

In air_ir

Constant air_ir::DEFAULT_SEGMENT

pub const DEFAULT_SEGMENT: TraceSegmentId = 0;

Expand description

The default segment against which a constraint is applied is the main trace segment.