def no_t

bend-lawful-stdlib@0.1.0.0 · src/float/f32.bend:26

import Base
import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Nat

26def no_t(e: {True{} == False{} : Bool}) -> Empty:
27  %e : Nat.IsTrue(_)
28  Unit{}