hax-frontend-exporter-0.3.2
- hax-frontend-exporter 0.3.2
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- franziskuskiefer
- github:cryspen:tools
- Dependencies
- extension-traits ^1.0.1 normal
  hax-adt-into =0.3.2 normal
  hax-frontend-exporter-options =0.3.2 normal
  itertools ^0.11.0 normal
  lazy_static ^1.4.0 normal
  paste ^1.0.11 normal
  schemars ^0.8 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  tracing ^0.1 normal
- Versions
- 22.24% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

hax_frontend_exporter0.3.2

Module comments

Module Items

Functions

In crate hax_frontend_exporter

hax_frontend_exporter

Module comments

Functions§

comments_of_file: Returns a list of (spanned) comments found in file path, or an error if the file at path could not be open.