def AP.ft

bend-osdev-array@0.1.0.1 · PROOF.bend:26

import Base

26def AP.ft(e: {False{} == True{} : Bool}) -> Empty:
27  %Equal.sym(Bool, False{}, True{}, e) : AP.bool_t(_)
28  Unit{}