def ab.is_lt

import bend-osdev-u32@0.1.0.0/PROOF_order.bend as PROOFOrder

import Base

26def ab.is_lt(c: Cmp) -> Type:
27  match c:
28    case LT{}:
29      Unit
30    case o:
31      Empty

Uses (3)