Trait UpperExpSpec 

pub trait UpperExpSpec: PointeeSized + UpperExp {
    // Required method
    spec fn fmt_req(&self, f: &Formatter<'_>) -> bool;
}

Required Methods

spec fn fmt_req(&self, f: &Formatter<'_>) -> bool

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<VERUS_SPEC__A: UpperExp + PointeeSized> UpperExpSpec for VERUS_SPEC__A