pub enum False {}
Expand description
Logical false.
Trait Implementations
sourceimpl<N: Nat> DecidableHomotopyLevel<S<N>> for False
impl<N: Nat> DecidableHomotopyLevel<S<N>> for False
impl Copy for False
Auto Trait Implementations
impl RefUnwindSafe for False
impl Send for False
impl Sync for False
impl Unpin for False
impl UnwindSafe for False
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Existential for T where
T: Decidable,
impl<T> Existential for T where
T: Decidable,
sourceimpl<N, T> HomotopyLevel<N> for T where
N: Nat,
T: DecidableHomotopyLevel<N>,
impl<N, T> HomotopyLevel<N> for T where
N: Nat,
T: DecidableHomotopyLevel<N>,
type H0 = <T as DecidableHomotopyLevel<N>>::H0
type H0 = <T as DecidableHomotopyLevel<N>>::H0
A type such that it proves homotopy level 0.
type H = <T as DecidableHomotopyLevel<N>>::H
type H = <T as DecidableHomotopyLevel<N>>::H
A type such that it proves a lower homotopy level.
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more