def Bool.false_ne_true

minebender-game@1.0.0.0 · PROOF.bend:41

import Base

41def Bool.false_ne_true(e: {False{} == True{} : Bool}) -> Empty:
42  %e : Bool.disc(_)
43  Unit{}