def bits.tf

bend-osdev-caps@0.1.0.0 · PROOF.bend:39

import Base

39def bits.tf(+e: {True{} == False{} : Bool}) -> bits.disc2(False{}):
40  %e : bits.disc2(_)
41  Unit{}