def bits.ft

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

import Base

35def bits.ft(+e: {False{} == True{} : Bool}) -> bits.disc(True{}):
36  %e : bits.disc(_)
37  Unit{}