def arg_bytes

cli@0.2.0.0 · cli.bend:8026

import Base

8026# The raw argument arg_text decoded to s: open a file by it with
8027# File.open_bytes.
8028def arg_bytes(s: String) -> List<&2, U32>:
8029  match s:
8030    case SNil{}: []
8031    case SCon{c, t}: List.append(&2, U32, char_bytes(c), arg_bytes(t))