def text.at

emerging-ezjson@1.3.0.0 · src/fixed.bend:293

import Base

293# a sign kept in front of the unsigned rest
294def text.at(minus: Bool, ch: Char, tl: String, +nn: Nat) -> String:
295  match minus:
296    case True{}:
297      "-" ++ unsigned(tl, nn)
298    case False{}:
299      unsigned(SCon{ch, tl}, nn)