hax-rust-engine-0.3.7
- hax-rust-engine 0.3.7
- Permalink
- Docs.rs crate page
- Apache-2.0
- 19 July 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- W95Psp
- github:cryspen:tools
- maximebuyse
- Dependencies
- axum ^0.8.7 normal
  camino ^1.1.11 normal
  derive_generic_visitor ^0.3.0 normal
  hax-frontend-exporter =0.3.7 normal
  hax-lib-macros-types =0.3.7 normal
  hax-rust-engine-macros =0.3.7 normal
  hax-types =0.3.7 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
  tokio ^1.48.0 normal
  hax-lib =0.3.7 dev
- Versions
- 100% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

impl_arith

hax_rust_engine0.3.7

In hax_rust_engine::names::rust_primitives

hax_rust_engine::names::rust_primitives

Constant impl_arith

pub const impl_arith: GlobalId;

Expand description

This is the macro [::rust_primitives::impl_arith].