def bo.empty

bend-osdev-cipher-modes@0.1.0.0 · PROOF.bend:179

import Base

179def bo.empty(h: {False{} == True{} : Bool}) -> Empty:
180  %h : bo.disc(_)
181  Unit{}