def no_f

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

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

21# {False == True} and {True == False} are empty
22def no_f(e: {False{} == True{} : Bool}) -> Empty:
23  %e : Nat.IsFalse(_)
24  Unit{}