type Tag

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

import Base

80type Tag is Data:
81    Tag{
82        bytes: List<&2, U32>,
83        size: {List.length(&2, U32, bytes) == 16n : Nat},
84        valid: {bytes_valid(bytes) == True{} : Bool}
85    }