def comp.b12441.n80
import bend-kit-unicode@0.1.0.0/tables.bend as Tablesimport Base
60320def comp.b12441.n80(lt: Bool, +a: U32) -> Maybe<&2, U32>:
60321 match lt:
60322 case True{}:
60323 None{}
60324 case False{}:
60325 comp.b12441.n79(U32.is_lt(a, 12505), a)