hax-rust-engine-0.3.3
- hax-rust-engine 0.3.3
- Docs.rs crate page
- Apache-2.0
- 03 September 2025
- 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.3 normal
  hax-rust-engine-macros =0.3.3 normal
  hax-types =0.3.3 normal
  itertools ^0.11.0 normal
  pastey ^0.1.0 normal
  pretty ^0.12 normal
  schemars ^0.8 normal
  serde ^1.0 normal
  serde-jsonlines ^0.5.0 normal
  serde_json ^1.0 normal
  serde_stacker ^0.1.12 normal
- Versions
- 100% of the crate is documented
Go to latest version
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Impl__1

hax_rust_engine0.3.3

In hax_rust_engine::names::alloc::vec

hax_rust_engine::names::alloc::vec

Function Impl__1

pub fn Impl__1() -> DefId

Expand description

This is an impl block.