withEmpty | Proof.Propositional.Empty, Proof.Propositional |
withEmpty' | Proof.Propositional.Empty, Proof.Propositional |
withInhabited | Proof.Propositional.Inhabited, Proof.Propositional |
withRefl | Proof.Equational |
withSing | Proof.Equational |
withSingI | Proof.Equational |
withSomeSing | Proof.Equational |
withWitness | Proof.Propositional |
Witness | Proof.Propositional |
wrap | Proof.Equational |