def b.absurd_tf

bend-osdev-apparmor@0.1.0.0 · PROOF.bend:73

import bend-osdev-apparmor@0.1.0.0/PROOF.bend as PROOF

import Base

73def b.absurd_tf(-T: Type, -x: T, -y: T, +e: {True{} == False{} : Bool}) -> {x == y : T}:
74  Empty.absurd({x == y : T}, b.ft(Equal.sym(Bool, True{}, False{}, e)))

Uses (4)

Used by (4)