def tag_bytes_valid

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

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

import Base

152def tag_bytes_valid(tag: Tag) ->
153    {bytes_valid(tag_bytes(tag)) == True{} : Bool}:
154    match tag:
155        case Tag{bytes, size, valid}: valid

Uses (4)

Used by (0)

No other definition uses this definition.