def comp.n25
import bend-kit-unicode@0.1.0.0/tables.bend as Tablesimport Base
61199def comp.n25(lt: Bool, +b: U32, +a: U32) -> Maybe<&2, U32>:
61200 match lt:
61201 case True{}:
61202 comp.n23(U32.is_lt(b, 806), b, a)
61203 case False{}:
61204 comp.n24(U32.is_lt(b, 808), b, a)