hax-lib-0.4.0
- hax-lib 0.4.0
- Permalink
- 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

process_init

hax_lib0.4.0

Attribute Macro process_init

#[process_init]

Expand description

A marker indicating a fn as a ProVerif process initialization.