proofs.rs

Trait method

<either::Either as UpperExp>::fmt

impl<L, R> UpperExp for Either<L, R> where L: fmt::UpperExp, R: fmt::UpperExp
pub fn fmt(self: &Self, f: &mut fmt::Formatter<'_>) -> fmt::Result

Documentation on docs.rs

Claims (0)

No results.