Macro pocket_prover::contr
source · [−]macro_rules! contr {
($($x:expr),*) => { ... };
}Expand description
Path Semantical Logic: A contractible “family of types”.
All propositions are either true or all propositions are false.
macro_rules! contr {
($($x:expr),*) => { ... };
}Path Semantical Logic: A contractible “family of types”.
All propositions are either true or all propositions are false.