hax-rust-engine-0.3.6
- hax-rust-engine 0.3.6
- Docs.rs crate page
- Apache-2.0
- 15 January 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- W95Psp
- github:cryspen:tools
- maximebuyse
- Dependencies
- camino ^1.1.11 normal
  derive_generic_visitor ^0.3.0 normal
  hax-frontend-exporter =0.3.6 normal
  hax-lib-macros-types =0.3.6 normal
  hax-rust-engine-macros =0.3.6 normal
  hax-types =0.3.6 normal
  itertools ^0.11.0 normal
  pastey ^0.1.0 normal
  pretty ^0.12 normal
  schemars ^0.8 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  serde_stacker ^0.1.12 normal
  hax-lib =0.3.6 dev
- Versions
- 100% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Use

hax_rust_engine0.3.6

In hax_rust_engine::names::rust_primitives

hax_rust_engine::names::rust_primitives

Constant Use

pub const Use: GlobalId;

Expand description

This is the use item [::rust_primitives::Use].