Macro pocket_prover::contr

macro_rules! contr {
    ($($x:expr),*) => { ... };
}

Path Semantical Logic: A contractible "family of types".

All propositions are either true or all propositions are false.