hax-lib-macros-types-0.4.0
- hax-lib-macros-types 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
- proc-macro2 ^1.0.66 normal
  quote ^1.0.32 normal
  schemars ^0.8 normal optional
  serde ^1.0 normal
  serde_json ^1.0 normal
  uuid ^1.5 normal
- Versions
- 40.98% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

hax_lib_macros_types0.4.0

Crate Items

Structs
Enums
Constants

List of all items

Structs

DebugOrHaxCfgExpr
HaxCfgOptionName
HaxTool
ItemQuote
ItemQuoteFStarOpts
ItemUid

Enums

AssociationRole
AttrPayload
ItemQuotePosition
ItemStatus
ProofMethod

Constants

HAX_CFG_OPTION_NAME
HAX_TOOL