hax-types-0.3.3
- hax-types 0.3.3
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- W95Psp
- github:cryspen:tools
- Dependencies
- annotate-snippets ^0.11 normal
  clap ^4.0 normal
  colored ^2 normal
  hax-adt-into =0.3.3 normal
  hax-frontend-exporter =0.3.3 normal
  hax-frontend-exporter-options =0.3.3 normal
  itertools ^0.11.0 normal
  miette ^7.2.0 normal
  path-clean ^1.0.1 normal
  schemars ^0.8 normal
  serde ^1.0 normal
  serde-brief ^0.1 normal
  serde_json ^1.0 normal
  tracing ^0.1 normal
  zstd ^0.13.1 normal
- Versions
- 27.56% of the crate is documented
Go to latest version
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Module protocol

hax_types0.3.3

Module protocol

Module Items

Enums

In hax_types::engine_api

hax_types::engine_api

Module protocol

Enums§

FromEngine
ToEngine