def kv.plain

cswap-bend-cli@0.1.0.0 · fmt/yscal.bend:253

import Base

253def kv.plain(m: Maybe<&2, Nat>, +s: String) -> KV:
254  match m:
255    case None{}:
256      KNone{}
257    case Some{+n}:
258      KOk{String.trim(String.take(s, n)), String.trim(String.drop(s, Nat.add(n, 1n)))}