flint-lean-0.12.0
- flint-lean 0.12.0
- Permalink
- Docs.rs crate page
- MIT
- 26 October 2026
- Links
- Repository
- crates.io
- Source
- Owners
- ddalton
- Dependencies
- bytes ^1.0 normal
  flint-store ^0.2.1 normal
  futures ^0.3 normal
  libc ^0.2 normal
  mimalloc ^0.1 normal optional
  rustix ^1.1 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  sha2 ^0.10 normal
  thiserror ^1.0 normal
  tokio ^1.0 normal
  uuid ^1.0 normal
  warp ^0.4 normal optional
  async-trait ^0.1 dev
  tempfile ^3.0 dev
- Versions
- 63.39% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

name_error

flint_lean0.12.0

In flint_lean::scan

flint_lean::scan

Function name_error

pub fn name_error(e: &Error) -> NameError