deptypes-0.2.1
- deptypes 0.2.1
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- lyphyser
- Dependencies
- derive-where ^1.2.7 normal
  generativity ^1.0.0 normal
  generics2 ^0.3.3 normal
  num-traits ^0.2.14 normal
  paste ^1.0.6 normal
- Versions
- 30.28% of the crate is documented
Platform
Feature flags

docs.rs

Rust

true_ne_false

deptypes0.2.1

In deptypes::bool

Function true_ne_false

pub fn true_ne_false() -> ValueNe<True, False>

Expand description

Axiom (|bool| >= 2): true != false