def fold.n325

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

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

import Base

64135def fold.n325(lt: Bool, +c: U32) -> String:
64136  match lt:
64137    case True{}:
64138      SCon{Chr{c}, SNil{}}
64139    case False{}:
64140      "\u{21D}"

Uses (4)

Used by (1)

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