def pk.empty

bend-osdev-pkcs7@0.1.0.0 · PROOF.bend:32

import Base

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