def parse.res.cl.k

import bend-kit-http@0.38.2.0/http.bend as Http

import Base

753def parse.res.cl.k(+rest: String, +k: Nat) -> Hold:
754  parse.res.cl.have(rest, k, Nat.is_lt(String.length(rest), k))

Uses (6)