pub trait CompatibleSmallerBaseFor<BIG: BasePow2>: BasePow2 {
// Required method
proof fn compatible();
}Expand description
Represents a base for which each digit of BIG converts to multiple digits in this base.
Required Methods§
Sourceproof fn compatible()
proof fn compatible()
ensures
BIG::bits() > Self::bits() && BIG::bits() % Self::bits() == 0,Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.