Defs.text: def of lawful-fields@0.1.1.0
Import: import lawful-fields@0.1.1.0/defs.bend as Defs
Lines 143-150 of lawful-fields@0.1.1.0/defs.bend: https://jend.leeeet.dev/read.txt?path=lawful-fields@0.1.1.0/defs.bend&start_line=143&end_line=150

import Base

# Bytes as text and back: one Char per byte (Chr{b}), with no decoding (the
# way framebender reads files). For text whose characters are all below 256.
def text(xs: List<&2, U32>) -> String:
  match xs:
    case Nil{}:
      SNil{}
    case Con{x, t}:
      SCon{Chr{x}, text(t)}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32