pub trait BinNot {
type Output: Binary;
}Expand description
The NOT logic gate
Example
use const_arithmetic::*;
let True = _1;
let False = _0;
fn bin_not<B, R>(_b: B, _r: R) where
B: Binary,
R: Binary,
B: BinNot<Output = R>
{}
bin_not(_0, True);
bin_not(_1, False);Required Associated Types§
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".