Trait CompatibleSmallerBaseFor 

pub trait CompatibleSmallerBaseFor<BIG: BasePow2>: BasePow2 {
    // Required method
    proof fn compatible();
}

Represents a base for which each digit of BIG converts to multiple digits in this base.

Required Methods

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".

Implementations on Foreign Types

impl CompatibleSmallerBaseFor<u64> for u8

proof fn compatible()

impl CompatibleSmallerBaseFor<usize> for u8

proof fn compatible()

Implementors