def ab.is_gt

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

import Base

40def ab.is_gt(c: Cmp) -> Type:
41  match c:
42    case GT{}:
43      Unit
44    case o:
45      Empty

Uses (3)