eiffel-0.0.4
- eiffel 0.0.4
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- crates.io
- Source
- Owners
- kaukas
- matthiasg
- Dependencies
- eiffel-macros >=0.0.3 normal
  
  eiffel-macros-gen >=0.0.3 normal
  
  quote ^1.0 normal
  
  syn ^2.0.50 normal
  
  thiserror ^1.0.57 normal
- Versions
- 100% of the crate is documented
Platform
Feature flags

docs.rs
- About docs.rs
- Privacy policy

Rust

eiffel0.0.4

Crate Items

Macros
Structs
Attribute Macros

List of all items

Structs

PreconditionFailedError

Macros

require
require_or_err

Attribute Macros

contract