Fixed.pad: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed
Lines 159-169 of emerging-ezjson@1.3.0.0/src/fixed.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/fixed.bend&start_line=159&end_line=169

import Base

# the first `nn` fraction digits, 0s past the last, and the digits dropped
def pad(nn: Nat, right: String) -> String & String:
  match nn:
    case 0n:
      ("", right)
    case 1n+m:
      match right:
        case SNil{}:
          cut.put('0', pad(m, ""))
        case SCon{hd, tl}:
          cut.put(hd, pad(m, tl))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/fixed.bend&name=cut.put