hax-frontend-exporter-options-0.1.0-alpha.1
- hax-frontend-exporter-options 0.1.0-alpha.1
- Permalink
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- franziskuskiefer
- github:hacspec:crates
- Dependencies
- bincode ^2.0.0-rc.3 normal
  
  hax-adt-into =0.1.0-alpha.1 normal
  
  schemars ^0.8 normal
  
  serde ^1.0 normal
  
  serde_json ^1.0 normal
- Versions
- 0% of the crate is documented
Go to latest stable release
Platform
Feature flags

Rust

hax_frontend_exporter_options0.1.0-alpha.1

All Items

Crate Items

Structs
Enums

Crate hax_frontend_exporter_options

Structs§

Namespace
Options

Enums§

Glob
NamespaceChunk