type Nonce

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

import Base

73type Nonce is Data:
74    Nonce{
75        bytes: List<&2, U32>,
76        size: {List.length(&2, U32, bytes) == 12n : Nat},
77        valid: {bytes_valid(bytes) == True{} : Bool}
78    }