hax-types-0.1.0-rc.1
- hax-types 0.1.0-rc.1
- 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.1.0-rc.1 normal
  hax-frontend-exporter =0.1.0-rc.1 normal
  hax-frontend-exporter-options =0.1.0-rc.1 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
- 26.85% of the crate is documented
Go to latest stable release
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

hax_types0.1.0-rc.1

Module protocol

Module Items

Enums

In hax_types::engine_api

hax_types::engine_api

Module protocol

Enums§

FromEngine
ToEngine