def fold.n1001
import bend-kit-unicode@0.1.0.0/tables.bend as Tablesimport Base
68867def fold.n1001(lt: Bool, +c: U32) -> String:
68868 match lt:
68869 case True{}:
68870 fold.n999(U32.is_lt(c, 7815), c)
68871 case False{}:
68872 fold.n1000(U32.is_lt(c, 7817), c)