def gcm_zip_xor_nil_left

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

import Base

526def gcm_zip_xor_nil_left(+stream: List<&2, U32>) ->
527    {gcm_zip_xor(Nil{}, stream) == Nil{} : List<&2, U32>}:
528    match stream:
529        case Nil{}: {==}
530        case _ <> _: {==}