prop-0.47.0
- prop 0.47.0
- Permalink
- Docs.rs crate page
- MIT
- 12 August 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- bvssvni
- Dependencies
- Versions
- 100% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

IsProp

prop0.47.0

In prop::fun::phott

prop::fun::phott

Type Alias IsProp

pub type IsProp<A> = Tauto<Eq<Qu<A>, A>>;

Expand description

is_prop(a) := (~a == a)^true.