def false_true

stelliferous@0.0.2.0 · proofs/word_encoding.bend:112

import Base

112def false_true(e: {False{} == True{} : Bool}) -> Empty:
113  %Equal.sym(Bool,False{},True{},e) : truth(_)
114  Unit{}