Fixed.cut.at: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed
Lines 31-42 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=31&end_line=42

import Base

# at a mark the cut is made; any other character is kept before it
def cut.at(
  hit: Bool,
  ch: Char,
  after: String,
  more: Unit -> String & String
) -> String & String:
  match hit:
    case True{}:
      ("", after)
    case False{}:
      cut.put(ch, more(Unit{}))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/fixed.bend&name=cut.put