to_big_from_digits

vstd::endian

Function to_big_from_digits 

Source 
pub open spec fn to_big_from_digits<BIG, B>(n: Seq<B>) -> EndianNat<BIG>
where
    BIG: BasePow2,
    B: CompatibleSmallerBaseFor<BIG> + Integer,
Expand description
{
    EndianNat::<
        B,
    >::to_big::<BIG>(EndianNat::<B>::new(endianness(), n.map(|i, d| d as int)))
}

Converts a sequence of digits in base B in default endianness (endianness()) to an EndianNat in the larger base BIG.