def dec.n725
import bend-kit-unicode@0.1.0.0/tables.bend as Tablesimport Base
38321def dec.n725(lt: Bool, +c: U32) -> String:
38322 match lt:
38323 case True{}:
38324 dec.n722(U32.is_lt(c, 7885), c)
38325 case False{}:
38326 dec.n724(U32.is_lt(c, 7887), c)