hax-rust-engine-0.3.4
- hax-rust-engine 0.3.4
- 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.4 normal
  hax-rust-engine-macros =0.3.4 normal
  hax-types =0.3.4 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

while_loop

hax_rust_engine0.3.4

In hax_rust_engine::names::rust_primitives::hax

hax_rust_engine::names::rust_primitives::hax

Function while_loop

pub fn while_loop() -> DefId

Expand description

This is the function [::rust_primitives::hax::while_loop].