def fold.n463
import bend-kit-unicode@0.1.0.0/tables.bend as Tablesimport Base
65101def fold.n463(lt: Bool, +c: U32) -> String:
65102 match lt:
65103 case True{}:
65104 SCon{Chr{c}, SNil{}}
65105 case False{}:
65106 "\u{37B}"
import bend-kit-unicode@0.1.0.0/tables.bend as Tablesimport Base
65101def fold.n463(lt: Bool, +c: U32) -> String:
65102 match lt:
65103 case True{}:
65104 SCon{Chr{c}, SNil{}}
65105 case False{}:
65106 "\u{37B}"