def octets.valid

bend-kit-http2@0.4.0.0 · hpack.bend:530

import Base

530def octets.valid(s: String) -> Bool:
531  match s:
532    case SNil{}:
533      True{}
534    case SCon{Chr{+octet}, tail}:
535      Bool.and(U32.is_le(octet, 255), octets.valid(tail))