def b.ft

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

import Base

66def b.ft(+e: {False{} == True{} : Bool}) -> b.disc(True{}):
67  %e : b.disc(_)
68  Unit{}