def kv

bend-toon-codec@0.1.0.0 · src/entry.bend:65

import Base

65# The key text before the colon at `ci`, and the value after it.
66def kv(+text: String, +ci: U32) -> Result<&2, &2, String, Ent>:
67  val(String.trim(String.take(text, U32.to_nat(ci))), String.drop(text, U32.to_nat((ci + 1 : U32))))