chalk-ir-0.69.0
- chalk-ir 0.69.0
- Docs.rs crate page
- Apache-2.0/MIT
- Links
- Repository
- crates.io
- Source
- Dependencies
- bitflags ^1.2.1 normal
  chalk-derive =0.69.0 normal
  lazy_static ^1.4.0 normal
- Versions
- 98.1% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Module shift

Traits

Module chalk_ir::fold::shift[−][src]

Expand description

Shifting of debruijn indices

Traits

Methods for converting debruijn indices to move values into or out of binders.