def fold.n1417

bend-kit-unicode@0.1.0.0 · tables.bend:71779

import bend-kit-unicode@0.1.0.0/tables.bend as Tables

import Base

71779def fold.n1417(lt: Bool, +c: U32) -> String:
71780  match lt:
71781    case True{}:
71782      SCon{Chr{c}, SNil{}}
71783    case False{}:
71784      "\u{23F}"

Uses (4)

Used by (1)

bend-kit-unicode@0.1.0.0/tables:fold.n1418