hax-lib-0.4.0
- hax-lib 0.4.0
- Docs.rs crate page
- Apache-2.0
- 07 September 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- franziskuskiefer
- github:cryspen:tools
- maximebuyse
- Dependencies
- hax-lib-macros =0.4.0 normal optional
  num-bigint ^0.4 normal
  num-traits ^0.2 normal
- Versions
- 56.06% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

replace

hax_lib0.4.0

In hax_lib::legacy_lean

hax_lib::legacy_lean

Attribute Macro replace

#[replace]

Expand description

Replaces a Rust item with some verbatim legacy_lean code.