vj-sim-0.1.0
- vj-sim 0.1.0
- Docs.rs crate page
- MIT OR Apache-2.0
- 21 October 2026
- Links
- crates.io
- Source
- Owners
- CheeksTheGeek
- Dependencies
- biodivine-lib-bdd =0.6.3 normal
  crossbeam-channel ^0.5 normal
  num-bigint =0.4.8 normal
  num-traits =0.2.19 normal
  postcard ^1 normal
  rustc-hash ^2 normal
  serde ^1 normal
  slotmap ^1 normal
  smallvec ^1 normal
  splr =0.17.2 normal
  sv-lang =0.1.18 normal optional
  sv-lang-kinds =0.1.2 normal optional
  vj-abi ^0.1.0 normal
  sv-lang =0.1.18 dev
  sv-lang-kinds =0.1.2 dev
- Versions
- 68.75% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

ArrayId

sv_sim_sim0.1.0

In sv_sim_sim::constraints::ir

sv_sim_sim::constraints::ir

Type Alias ArrayId

pub type ArrayId = u32;

Expand description

Index of an array in a program’s array table.