~/jendhub

def tag_bytes_size

qasim-bend-kit@0.1.0.2 · libs/AES256GCM.bend:147

import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCM
import Base

147def tag_bytes_size(tag: Tag) ->
148    {List.length(&2, U32, tag_bytes(tag)) == 16n : Nat}:
149    match tag:
150        case Tag{bytes, size, valid}: size

Uses (5)

Used by (0)

No other definition uses this definition.