def dec.n713
import bend-kit-unicode@0.1.0.0/tables.bend as Tablesimport Base
38237def dec.n713(lt: Bool, +c: U32) -> String:
38238 match lt:
38239 case True{}:
38240 dec.n710(U32.is_lt(c, 7876), c)
38241 case False{}:
38242 dec.n712(U32.is_lt(c, 7878), c)