proofs.rs

Trait method

<either::Either as LowerExp>::fmt

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

Documentation on docs.rs

Claims (0)

No results.