Type Definition prop::Or
source · [−] pub type Or<T, U> = Either<T, U>;
Expand description
Get excluded middle rule.
A type such that it proves homotopy level 0.
A type such that it proves a lower homotopy level.
A type such that it proves homotopy level 0.
A type such that it proves a lower homotopy level.