Nar.push: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/sha/nar.bend as Nar Lines 226-233 of ezx@1.11.0.0/src/sha/nar.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/sha/nar.bend&start_line=226&end_line=233 import Base # a char put in front of the first field, which a text that does not end with # a NUL leaves open def push(+ch: Char, fs: List<&2, String>) -> List<&2, String>: match fs: case []: [SCon{ch, SNil{}}] case h <> t: SCon{ch, h} <> t Uses (3): 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