def NotGT

bend-lawful-stdlib@0.1.0.0 · src/float/f32.bend:170

import Base

170def NotGT(c: Cmp) -> Data:
171  match c:
172    case LT{}:
173      Unit
174    case EQ{}:
175      Unit
176    case GT{}:
177      Empty