def wn.cbt

import bend-osdev-word64@0.1.1.0/proof_value.bend as ProofValue

import Base

34def wn.cbt(c: Cmp) -> Type:
35  match c:
36    case LT{}:
37      Unit
38    case o:
39      Empty

Uses (3)