def gcm_bytes_valid

qasim-bend-kit@0.1.0.2 · libs/AES256GCMCore.bend:252

import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCore

import Base

252def gcm_bytes_valid(bytes: List<&2, U32>) -> Bool:
253    match bytes:
254        case Nil{}: True{}
255        case byte <> tail:
256            U32.is_lt(byte, 256) && gcm_bytes_valid(tail)

Uses (5)

Used by (16)