def fold.n1236
import bend-kit-unicode@0.1.0.0/tables.bend as Tablesimport Base
70512def fold.n1236(lt: Bool, +c: U32) -> String:
70513 match lt:
70514 case True{}:
70515 "\u{3B1}\u{342}\u{3B9}"
70516 case False{}:
70517 "\u{1FB0}"