type GcmTag

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

import Base

293type GcmTag is Data:
294    GcmTag{
295        bytes: List<&2, U32>,
296        valid: {gcm_bytes_valid(bytes) == True{} : Bool},
297        size: {List.length(&2, U32, bytes) == 16n : Nat}
298    }