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

odd_zero

prop0.47.0

In prop::fun::natp

prop::fun::natp

Function odd_zero

pub fn odd_zero() -> Eq<Odd<Zero>, Fa>

Expand description

odd(0) = fa.