Trait snarkvm_circuit::environment::prelude::BitOr
1.0.0 · source · pub trait BitOr<Rhs = Self> {
type Output;
// Required method
fn bitor(self, rhs: Rhs) -> Self::Output;
}
Expand description
The bitwise OR operator |
.
Note that Rhs
is Self
by default, but this is not mandatory.
Examples
An implementation of BitOr
for a wrapper around bool
.
use std::ops::BitOr;
#[derive(Debug, PartialEq)]
struct Scalar(bool);
impl BitOr for Scalar {
type Output = Self;
// rhs is the "right-hand side" of the expression `a | b`
fn bitor(self, rhs: Self) -> Self::Output {
Self(self.0 | rhs.0)
}
}
assert_eq!(Scalar(true) | Scalar(true), Scalar(true));
assert_eq!(Scalar(true) | Scalar(false), Scalar(true));
assert_eq!(Scalar(false) | Scalar(true), Scalar(true));
assert_eq!(Scalar(false) | Scalar(false), Scalar(false));
An implementation of BitOr
for a wrapper around Vec<bool>
.
use std::ops::BitOr;
#[derive(Debug, PartialEq)]
struct BooleanVector(Vec<bool>);
impl BitOr for BooleanVector {
type Output = Self;
fn bitor(self, Self(rhs): Self) -> Self::Output {
let Self(lhs) = self;
assert_eq!(lhs.len(), rhs.len());
Self(
lhs.iter()
.zip(rhs.iter())
.map(|(x, y)| *x | *y)
.collect()
)
}
}
let bv1 = BooleanVector(vec![true, true, false, false]);
let bv2 = BooleanVector(vec![true, false, true, false]);
let expected = BooleanVector(vec![true, true, true, false]);
assert_eq!(bv1 | bv2, expected);
Required Associated Types§
Required Methods§
Trait Implementations§
§impl<E, I> Metrics<dyn BitOr<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where
E: Environment,
I: IntegerType,
impl<E, I> Metrics<dyn BitOr<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,
§impl<E, I> OutputMode<dyn BitOr<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where
E: Environment,
I: IntegerType,
impl<E, I> OutputMode<dyn BitOr<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,
type Case = (CircuitType<Integer<E, I>>, CircuitType<Integer<E, I>>)
§fn output_mode(
case: &<Integer<E, I> as OutputMode<dyn BitOr<Integer<E, I>, Output = Integer<E, I>>>>::Case
) -> Mode
fn output_mode( case: &<Integer<E, I> as OutputMode<dyn BitOr<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Mode
Returns the mode of the output.
Implementors§
source§impl BitOr<&Saturating<i8>> for &Saturating<i8>
impl BitOr<&Saturating<i8>> for &Saturating<i8>
type Output = <Saturating<i8> as BitOr<Saturating<i8>>>::Output
source§impl BitOr<&Saturating<i8>> for Saturating<i8>
impl BitOr<&Saturating<i8>> for Saturating<i8>
type Output = <Saturating<i8> as BitOr<Saturating<i8>>>::Output
source§impl BitOr<&Saturating<i16>> for &Saturating<i16>
impl BitOr<&Saturating<i16>> for &Saturating<i16>
type Output = <Saturating<i16> as BitOr<Saturating<i16>>>::Output
source§impl BitOr<&Saturating<i16>> for Saturating<i16>
impl BitOr<&Saturating<i16>> for Saturating<i16>
type Output = <Saturating<i16> as BitOr<Saturating<i16>>>::Output
source§impl BitOr<&Saturating<i32>> for &Saturating<i32>
impl BitOr<&Saturating<i32>> for &Saturating<i32>
type Output = <Saturating<i32> as BitOr<Saturating<i32>>>::Output
source§impl BitOr<&Saturating<i32>> for Saturating<i32>
impl BitOr<&Saturating<i32>> for Saturating<i32>
type Output = <Saturating<i32> as BitOr<Saturating<i32>>>::Output
source§impl BitOr<&Saturating<i64>> for &Saturating<i64>
impl BitOr<&Saturating<i64>> for &Saturating<i64>
type Output = <Saturating<i64> as BitOr<Saturating<i64>>>::Output
source§impl BitOr<&Saturating<i64>> for Saturating<i64>
impl BitOr<&Saturating<i64>> for Saturating<i64>
type Output = <Saturating<i64> as BitOr<Saturating<i64>>>::Output
source§impl BitOr<&Saturating<i128>> for &Saturating<i128>
impl BitOr<&Saturating<i128>> for &Saturating<i128>
type Output = <Saturating<i128> as BitOr<Saturating<i128>>>::Output
source§impl BitOr<&Saturating<i128>> for Saturating<i128>
impl BitOr<&Saturating<i128>> for Saturating<i128>
type Output = <Saturating<i128> as BitOr<Saturating<i128>>>::Output
source§impl BitOr<&Saturating<isize>> for &Saturating<isize>
impl BitOr<&Saturating<isize>> for &Saturating<isize>
type Output = <Saturating<isize> as BitOr<Saturating<isize>>>::Output
source§impl BitOr<&Saturating<isize>> for Saturating<isize>
impl BitOr<&Saturating<isize>> for Saturating<isize>
type Output = <Saturating<isize> as BitOr<Saturating<isize>>>::Output
source§impl BitOr<&Saturating<u8>> for &Saturating<u8>
impl BitOr<&Saturating<u8>> for &Saturating<u8>
type Output = <Saturating<u8> as BitOr<Saturating<u8>>>::Output
source§impl BitOr<&Saturating<u8>> for Saturating<u8>
impl BitOr<&Saturating<u8>> for Saturating<u8>
type Output = <Saturating<u8> as BitOr<Saturating<u8>>>::Output
source§impl BitOr<&Saturating<u16>> for &Saturating<u16>
impl BitOr<&Saturating<u16>> for &Saturating<u16>
type Output = <Saturating<u16> as BitOr<Saturating<u16>>>::Output
source§impl BitOr<&Saturating<u16>> for Saturating<u16>
impl BitOr<&Saturating<u16>> for Saturating<u16>
type Output = <Saturating<u16> as BitOr<Saturating<u16>>>::Output
source§impl BitOr<&Saturating<u32>> for &Saturating<u32>
impl BitOr<&Saturating<u32>> for &Saturating<u32>
type Output = <Saturating<u32> as BitOr<Saturating<u32>>>::Output
source§impl BitOr<&Saturating<u32>> for Saturating<u32>
impl BitOr<&Saturating<u32>> for Saturating<u32>
type Output = <Saturating<u32> as BitOr<Saturating<u32>>>::Output
source§impl BitOr<&Saturating<u64>> for &Saturating<u64>
impl BitOr<&Saturating<u64>> for &Saturating<u64>
type Output = <Saturating<u64> as BitOr<Saturating<u64>>>::Output
source§impl BitOr<&Saturating<u64>> for Saturating<u64>
impl BitOr<&Saturating<u64>> for Saturating<u64>
type Output = <Saturating<u64> as BitOr<Saturating<u64>>>::Output
source§impl BitOr<&Saturating<u128>> for &Saturating<u128>
impl BitOr<&Saturating<u128>> for &Saturating<u128>
type Output = <Saturating<u128> as BitOr<Saturating<u128>>>::Output
source§impl BitOr<&Saturating<u128>> for Saturating<u128>
impl BitOr<&Saturating<u128>> for Saturating<u128>
type Output = <Saturating<u128> as BitOr<Saturating<u128>>>::Output
source§impl BitOr<&Saturating<usize>> for &Saturating<usize>
impl BitOr<&Saturating<usize>> for &Saturating<usize>
type Output = <Saturating<usize> as BitOr<Saturating<usize>>>::Output
source§impl BitOr<&Saturating<usize>> for Saturating<usize>
impl BitOr<&Saturating<usize>> for Saturating<usize>
type Output = <Saturating<usize> as BitOr<Saturating<usize>>>::Output
1.45.0 · source§impl BitOr<i16> for NonZeroI16
impl BitOr<i16> for NonZeroI16
type Output = NonZeroI16
1.45.0 · source§impl BitOr<i32> for NonZeroI32
impl BitOr<i32> for NonZeroI32
type Output = NonZeroI32
1.45.0 · source§impl BitOr<i64> for NonZeroI64
impl BitOr<i64> for NonZeroI64
type Output = NonZeroI64
1.45.0 · source§impl BitOr<i128> for NonZeroI128
impl BitOr<i128> for NonZeroI128
type Output = NonZeroI128
1.45.0 · source§impl BitOr<isize> for NonZeroIsize
impl BitOr<isize> for NonZeroIsize
type Output = NonZeroIsize
1.45.0 · source§impl BitOr<u16> for NonZeroU16
impl BitOr<u16> for NonZeroU16
type Output = NonZeroU16
1.45.0 · source§impl BitOr<u32> for NonZeroU32
impl BitOr<u32> for NonZeroU32
type Output = NonZeroU32
1.45.0 · source§impl BitOr<u64> for NonZeroU64
impl BitOr<u64> for NonZeroU64
type Output = NonZeroU64
1.45.0 · source§impl BitOr<u128> for NonZeroU128
impl BitOr<u128> for NonZeroU128
type Output = NonZeroU128
1.45.0 · source§impl BitOr<usize> for NonZeroUsize
impl BitOr<usize> for NonZeroUsize
type Output = NonZeroUsize
1.45.0 · source§impl BitOr<NonZeroI16> for i16
impl BitOr<NonZeroI16> for i16
type Output = NonZeroI16
1.45.0 · source§impl BitOr<NonZeroI16> for NonZeroI16
impl BitOr<NonZeroI16> for NonZeroI16
type Output = NonZeroI16
1.45.0 · source§impl BitOr<NonZeroI32> for i32
impl BitOr<NonZeroI32> for i32
type Output = NonZeroI32
1.45.0 · source§impl BitOr<NonZeroI32> for NonZeroI32
impl BitOr<NonZeroI32> for NonZeroI32
type Output = NonZeroI32
1.45.0 · source§impl BitOr<NonZeroI64> for i64
impl BitOr<NonZeroI64> for i64
type Output = NonZeroI64
1.45.0 · source§impl BitOr<NonZeroI64> for NonZeroI64
impl BitOr<NonZeroI64> for NonZeroI64
type Output = NonZeroI64
1.45.0 · source§impl BitOr<NonZeroI128> for i128
impl BitOr<NonZeroI128> for i128
type Output = NonZeroI128
1.45.0 · source§impl BitOr<NonZeroI128> for NonZeroI128
impl BitOr<NonZeroI128> for NonZeroI128
type Output = NonZeroI128
1.45.0 · source§impl BitOr<NonZeroIsize> for isize
impl BitOr<NonZeroIsize> for isize
type Output = NonZeroIsize
1.45.0 · source§impl BitOr<NonZeroIsize> for NonZeroIsize
impl BitOr<NonZeroIsize> for NonZeroIsize
type Output = NonZeroIsize
1.45.0 · source§impl BitOr<NonZeroU16> for u16
impl BitOr<NonZeroU16> for u16
type Output = NonZeroU16
1.45.0 · source§impl BitOr<NonZeroU16> for NonZeroU16
impl BitOr<NonZeroU16> for NonZeroU16
type Output = NonZeroU16
1.45.0 · source§impl BitOr<NonZeroU32> for u32
impl BitOr<NonZeroU32> for u32
type Output = NonZeroU32
1.45.0 · source§impl BitOr<NonZeroU32> for NonZeroU32
impl BitOr<NonZeroU32> for NonZeroU32
type Output = NonZeroU32
1.45.0 · source§impl BitOr<NonZeroU64> for u64
impl BitOr<NonZeroU64> for u64
type Output = NonZeroU64
1.45.0 · source§impl BitOr<NonZeroU64> for NonZeroU64
impl BitOr<NonZeroU64> for NonZeroU64
type Output = NonZeroU64
1.45.0 · source§impl BitOr<NonZeroU128> for u128
impl BitOr<NonZeroU128> for u128
type Output = NonZeroU128
1.45.0 · source§impl BitOr<NonZeroU128> for NonZeroU128
impl BitOr<NonZeroU128> for NonZeroU128
type Output = NonZeroU128
1.45.0 · source§impl BitOr<NonZeroUsize> for usize
impl BitOr<NonZeroUsize> for usize
type Output = NonZeroUsize
1.45.0 · source§impl BitOr<NonZeroUsize> for NonZeroUsize
impl BitOr<NonZeroUsize> for NonZeroUsize
type Output = NonZeroUsize
source§impl BitOr<Saturating<i8>> for Saturating<i8>
impl BitOr<Saturating<i8>> for Saturating<i8>
type Output = Saturating<i8>
source§impl BitOr<Saturating<i16>> for Saturating<i16>
impl BitOr<Saturating<i16>> for Saturating<i16>
type Output = Saturating<i16>
source§impl BitOr<Saturating<i32>> for Saturating<i32>
impl BitOr<Saturating<i32>> for Saturating<i32>
type Output = Saturating<i32>
source§impl BitOr<Saturating<i64>> for Saturating<i64>
impl BitOr<Saturating<i64>> for Saturating<i64>
type Output = Saturating<i64>
source§impl BitOr<Saturating<i128>> for Saturating<i128>
impl BitOr<Saturating<i128>> for Saturating<i128>
type Output = Saturating<i128>
source§impl BitOr<Saturating<isize>> for Saturating<isize>
impl BitOr<Saturating<isize>> for Saturating<isize>
type Output = Saturating<isize>
source§impl BitOr<Saturating<u8>> for Saturating<u8>
impl BitOr<Saturating<u8>> for Saturating<u8>
type Output = Saturating<u8>
source§impl BitOr<Saturating<u16>> for Saturating<u16>
impl BitOr<Saturating<u16>> for Saturating<u16>
type Output = Saturating<u16>
source§impl BitOr<Saturating<u32>> for Saturating<u32>
impl BitOr<Saturating<u32>> for Saturating<u32>
type Output = Saturating<u32>
source§impl BitOr<Saturating<u64>> for Saturating<u64>
impl BitOr<Saturating<u64>> for Saturating<u64>
type Output = Saturating<u64>
source§impl BitOr<Saturating<u128>> for Saturating<u128>
impl BitOr<Saturating<u128>> for Saturating<u128>
type Output = Saturating<u128>
source§impl BitOr<Saturating<usize>> for Saturating<usize>
impl BitOr<Saturating<usize>> for Saturating<usize>
type Output = Saturating<usize>
source§impl<'a> BitOr<Saturating<i8>> for &'a Saturating<i8>
impl<'a> BitOr<Saturating<i8>> for &'a Saturating<i8>
type Output = <Saturating<i8> as BitOr<Saturating<i8>>>::Output
source§impl<'a> BitOr<Saturating<i16>> for &'a Saturating<i16>
impl<'a> BitOr<Saturating<i16>> for &'a Saturating<i16>
type Output = <Saturating<i16> as BitOr<Saturating<i16>>>::Output
source§impl<'a> BitOr<Saturating<i32>> for &'a Saturating<i32>
impl<'a> BitOr<Saturating<i32>> for &'a Saturating<i32>
type Output = <Saturating<i32> as BitOr<Saturating<i32>>>::Output
source§impl<'a> BitOr<Saturating<i64>> for &'a Saturating<i64>
impl<'a> BitOr<Saturating<i64>> for &'a Saturating<i64>
type Output = <Saturating<i64> as BitOr<Saturating<i64>>>::Output
source§impl<'a> BitOr<Saturating<i128>> for &'a Saturating<i128>
impl<'a> BitOr<Saturating<i128>> for &'a Saturating<i128>
type Output = <Saturating<i128> as BitOr<Saturating<i128>>>::Output
source§impl<'a> BitOr<Saturating<isize>> for &'a Saturating<isize>
impl<'a> BitOr<Saturating<isize>> for &'a Saturating<isize>
type Output = <Saturating<isize> as BitOr<Saturating<isize>>>::Output
source§impl<'a> BitOr<Saturating<u8>> for &'a Saturating<u8>
impl<'a> BitOr<Saturating<u8>> for &'a Saturating<u8>
type Output = <Saturating<u8> as BitOr<Saturating<u8>>>::Output
source§impl<'a> BitOr<Saturating<u16>> for &'a Saturating<u16>
impl<'a> BitOr<Saturating<u16>> for &'a Saturating<u16>
type Output = <Saturating<u16> as BitOr<Saturating<u16>>>::Output
source§impl<'a> BitOr<Saturating<u32>> for &'a Saturating<u32>
impl<'a> BitOr<Saturating<u32>> for &'a Saturating<u32>
type Output = <Saturating<u32> as BitOr<Saturating<u32>>>::Output
source§impl<'a> BitOr<Saturating<u64>> for &'a Saturating<u64>
impl<'a> BitOr<Saturating<u64>> for &'a Saturating<u64>
type Output = <Saturating<u64> as BitOr<Saturating<u64>>>::Output
source§impl<'a> BitOr<Saturating<u128>> for &'a Saturating<u128>
impl<'a> BitOr<Saturating<u128>> for &'a Saturating<u128>
type Output = <Saturating<u128> as BitOr<Saturating<u128>>>::Output
source§impl<'a> BitOr<Saturating<usize>> for &'a Saturating<usize>
impl<'a> BitOr<Saturating<usize>> for &'a Saturating<usize>
type Output = <Saturating<usize> as BitOr<Saturating<usize>>>::Output
source§impl<'lhs, 'rhs, T, const LANES: usize> BitOr<&'rhs Simd<T, LANES>> for &'lhs Simd<T, LANES>where
T: SimdElement,
Simd<T, LANES>: BitOr<Simd<T, LANES>, Output = Simd<T, LANES>>,
LaneCount<LANES>: SupportedLaneCount,
impl<'lhs, 'rhs, T, const LANES: usize> BitOr<&'rhs Simd<T, LANES>> for &'lhs Simd<T, LANES>where T: SimdElement, Simd<T, LANES>: BitOr<Simd<T, LANES>, Output = Simd<T, LANES>>, LaneCount<LANES>: SupportedLaneCount,
§impl<E> BitOr<&Boolean<E>> for &snarkvm_circuit::Boolean<E>where
E: Environment,
impl<E> BitOr<&Boolean<E>> for &snarkvm_circuit::Boolean<E>where E: Environment,
§impl<E> BitOr<&Boolean<E>> for snarkvm_circuit::Boolean<E>where
E: Environment,
impl<E> BitOr<&Boolean<E>> for snarkvm_circuit::Boolean<E>where E: Environment,
§impl<E> BitOr<Boolean<E>> for &snarkvm_circuit::Boolean<E>where
E: Environment,
impl<E> BitOr<Boolean<E>> for &snarkvm_circuit::Boolean<E>where E: Environment,
§impl<E> BitOr<Boolean<E>> for snarkvm_circuit::Boolean<E>where
E: Environment,
impl<E> BitOr<Boolean<E>> for snarkvm_circuit::Boolean<E>where E: Environment,
§impl<E, I> BitOr<&Integer<E, I>> for &Integer<E, I>where
E: Environment,
I: IntegerType,
impl<E, I> BitOr<&Integer<E, I>> for &Integer<E, I>where E: Environment, I: IntegerType,
§impl<E, I> BitOr<&Integer<E, I>> for Integer<E, I>where
E: Environment,
I: IntegerType,
impl<E, I> BitOr<&Integer<E, I>> for Integer<E, I>where E: Environment, I: IntegerType,
§impl<E, I> BitOr<&Integer<E, I>> for Integer<E, I>where
E: Environment,
I: IntegerType,
impl<E, I> BitOr<&Integer<E, I>> for Integer<E, I>where E: Environment, I: IntegerType,
§impl<E, I> BitOr<Integer<E, I>> for &Integer<E, I>where
E: Environment,
I: IntegerType,
impl<E, I> BitOr<Integer<E, I>> for &Integer<E, I>where E: Environment, I: IntegerType,
§impl<E, I> BitOr<Integer<E, I>> for Integer<E, I>where
E: Environment,
I: IntegerType,
impl<E, I> BitOr<Integer<E, I>> for Integer<E, I>where E: Environment, I: IntegerType,
§impl<E, I> BitOr<Integer<E, I>> for Integer<E, I>where
E: Environment,
I: IntegerType,
impl<E, I> BitOr<Integer<E, I>> for Integer<E, I>where E: Environment, I: IntegerType,
source§impl<T, A> BitOr<&BTreeSet<T, A>> for &BTreeSet<T, A>where
T: Ord + Clone,
A: Allocator + Clone,
impl<T, A> BitOr<&BTreeSet<T, A>> for &BTreeSet<T, A>where T: Ord + Clone, A: Allocator + Clone,
source§impl<T, S1, S2> BitOr<&IndexSet<T, S2>> for &IndexSet<T, S1>where
T: Eq + Hash + Clone,
S1: BuildHasher + Default,
S2: BuildHasher,
impl<T, S1, S2> BitOr<&IndexSet<T, S2>> for &IndexSet<T, S1>where T: Eq + Hash + Clone, S1: BuildHasher + Default, S2: BuildHasher,
source§impl<T, S> BitOr<&HashSet<T, S>> for &std::collections::hash::set::HashSet<T, S>where
T: Eq + Hash + Clone,
S: BuildHasher + Default,
impl<T, S> BitOr<&HashSet<T, S>> for &std::collections::hash::set::HashSet<T, S>where T: Eq + Hash + Clone, S: BuildHasher + Default,
§impl<T, S, A> BitOr<&HashSet<T, S, A>> for &HashSet<T, S, A>where
T: Eq + Hash + Clone,
S: BuildHasher + Default,
A: Allocator + Clone,
impl<T, S, A> BitOr<&HashSet<T, S, A>> for &HashSet<T, S, A>where T: Eq + Hash + Clone, S: BuildHasher + Default, A: Allocator + Clone,
source§impl<T, const LANES: usize> BitOr<&Simd<T, LANES>> for Simd<T, LANES>where
T: SimdElement,
Simd<T, LANES>: BitOr<Simd<T, LANES>, Output = Simd<T, LANES>>,
LaneCount<LANES>: SupportedLaneCount,
impl<T, const LANES: usize> BitOr<&Simd<T, LANES>> for Simd<T, LANES>where T: SimdElement, Simd<T, LANES>: BitOr<Simd<T, LANES>, Output = Simd<T, LANES>>, LaneCount<LANES>: SupportedLaneCount,
source§impl<T, const LANES: usize> BitOr<bool> for Mask<T, LANES>where
T: MaskElement,
LaneCount<LANES>: SupportedLaneCount,
impl<T, const LANES: usize> BitOr<bool> for Mask<T, LANES>where T: MaskElement, LaneCount<LANES>: SupportedLaneCount,
source§impl<T, const LANES: usize> BitOr<Mask<T, LANES>> for boolwhere
T: MaskElement,
LaneCount<LANES>: SupportedLaneCount,
impl<T, const LANES: usize> BitOr<Mask<T, LANES>> for boolwhere T: MaskElement, LaneCount<LANES>: SupportedLaneCount,
source§impl<T, const LANES: usize> BitOr<Mask<T, LANES>> for Mask<T, LANES>where
T: MaskElement,
LaneCount<LANES>: SupportedLaneCount,
impl<T, const LANES: usize> BitOr<Mask<T, LANES>> for Mask<T, LANES>where T: MaskElement, LaneCount<LANES>: SupportedLaneCount,
source§impl<T, const LANES: usize> BitOr<Simd<T, LANES>> for &Simd<T, LANES>where
T: SimdElement,
Simd<T, LANES>: BitOr<Simd<T, LANES>, Output = Simd<T, LANES>>,
LaneCount<LANES>: SupportedLaneCount,
impl<T, const LANES: usize> BitOr<Simd<T, LANES>> for &Simd<T, LANES>where T: SimdElement, Simd<T, LANES>: BitOr<Simd<T, LANES>, Output = Simd<T, LANES>>, LaneCount<LANES>: SupportedLaneCount,
source§impl<Ul, Ur> BitOr<UInt<Ur, B0>> for UInt<Ul, B0>where
Ul: Unsigned + BitOr<Ur>,
Ur: Unsigned,
impl<Ul, Ur> BitOr<UInt<Ur, B0>> for UInt<Ul, B0>where Ul: Unsigned + BitOr<Ur>, Ur: Unsigned,
UInt<Ul, B0> | UInt<Ur, B0> = UInt<Ul | Ur, B0>
source§impl<Ul, Ur> BitOr<UInt<Ur, B0>> for UInt<Ul, B1>where
Ul: Unsigned + BitOr<Ur>,
Ur: Unsigned,
impl<Ul, Ur> BitOr<UInt<Ur, B0>> for UInt<Ul, B1>where Ul: Unsigned + BitOr<Ur>, Ur: Unsigned,
UInt<Ul, B1> | UInt<Ur, B0> = UInt<Ul | Ur, B1>
source§impl<Ul, Ur> BitOr<UInt<Ur, B1>> for UInt<Ul, B0>where
Ul: Unsigned + BitOr<Ur>,
Ur: Unsigned,
impl<Ul, Ur> BitOr<UInt<Ur, B1>> for UInt<Ul, B0>where Ul: Unsigned + BitOr<Ur>, Ur: Unsigned,
UInt<Ul, B0> | UInt<Ur, B1> = UInt<Ul | Ur, B1>
source§impl<Ul, Ur> BitOr<UInt<Ur, B1>> for UInt<Ul, B1>where
Ul: Unsigned + BitOr<Ur>,
Ur: Unsigned,
impl<Ul, Ur> BitOr<UInt<Ur, B1>> for UInt<Ul, B1>where Ul: Unsigned + BitOr<Ur>, Ur: Unsigned,
UInt<Ul, B1> | UInt<Ur, B1> = UInt<Ul | Ur, B1>