def rd.key

bend-kit-runner@0.13.0.1 · runner.bend:836

import Base

836def rd.key(+fuel: Nat) -> Dec(String):
837  do Dec<String>:
838    +n : U32 <- rd.u32()
839    rd.chars(fuel, U32.is_eq(n, 0), n)