prop-0.8.0
- prop 0.8.0
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- Crates.io
- Source
- Owners
- bvssvni
- Dependencies
- Versions
- 100% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Trait DProp

Implementors

Other items in
prop

Trait prop::DProp

pub trait DProp: Decidable { }

Expand description

Shorthand for decidable proposition.

Implementors

impl<T: Decidable> DProp for T