def fold.n870
import bend-kit-unicode@0.1.0.0/tables.bend as Tablesimport Base
67950def fold.n870(lt: Bool, +c: U32) -> String:
67951 match lt:
67952 case True{}:
67953 "\u{1E07}"
67954 case False{}:
67955 SCon{Chr{c}, SNil{}}
import bend-kit-unicode@0.1.0.0/tables.bend as Tablesimport Base
67950def fold.n870(lt: Bool, +c: U32) -> String:
67951 match lt:
67952 case True{}:
67953 "\u{1E07}"
67954 case False{}:
67955 SCon{Chr{c}, SNil{}}