rify-0.7.1
- rify 0.7.1
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- bddap
- Dependencies
- serde ^1 normal optional
  
  serde_json ^1 dev
- Versions
- 59.09% of the crate is documented
Platform
Feature flags

Rust

rify0.7.1

Crate Items

Structs
Enums
Functions

List of all items

Structs

Rule
RuleApplication
Valid

Enums

CantProve
Entity
Invalid
InvalidRule

Functions

infer
prove
validate