deskc-concretizer-0.0.0
- deskc-concretizer 0.0.0
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- ryo33
- Dependencies
- deskc-amir ^0.0.0 normal
  
  deskc-mir ^0.0.0 normal
  
  deskc-types ^0.0.0 normal
- Versions
- 0% of the crate is documented
Platform
Feature flags

Rust

deskc_concretizer0.0.0

deskc_concretizer

Function concretize

pub fn concretize(amirs: &Amirs) -> Mirs