pub struct True;
Expand description
Logical true.
Trait Implementations§
source§impl<A: Prop, B: Prop> HomotopyEquivalence<A, B> for True
impl<A: Prop, B: Prop> HomotopyEquivalence<A, B> for True
impl Copy for True
Auto Trait Implementations§
impl RefUnwindSafe for True
impl Send for True
impl Sync for True
impl Unpin for True
impl UnwindSafe for True
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more