def internal_false_ne_true

bend-mathlib@0.8.1.0 · bool.bend:407

import Base

407def internal_false_ne_true(e: {False{} == True{} : Bool}) -> Empty:
408  %e : Bool.pick(Type, _, Empty, Unit)
409  Unit{}