def pk.empty

bend-osdev-cbc@0.1.0.0 · PROOF_padded.bend:30

import Base

30def pk.empty(h: {False{} == True{} : Bool}) -> Empty:
31  %h : pk.disc(_)
32  Unit{}