def ft_absurd

bend-osdev-acpi@0.1.1.0 · PROOF.bend:42

import Base

42def ft_absurd(+e: {False{} == True{} : Bool}) -> Empty:
43  %e : bdisc(_)
44  Unit{}