def fold.n337

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

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

import Base

64219def fold.n337(lt: Bool, +c: U32) -> String:
64220  match lt:
64221    case True{}:
64222      SCon{Chr{c}, SNil{}}
64223    case False{}:
64224      "\u{22D}"

Uses (4)

Used by (1)

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