def bo.empty

bend-osdev-mode-core@0.1.0.0 · PROOF.bend:104

import Base

104def bo.empty(h: {False{} == True{} : Bool}) -> Empty:
105  %h : bo.disc(_)
106  Unit{}