type SecretKey

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

import Base

66type SecretKey is Data:
67    SecretKey{
68        bytes: List<&2, U32>,
69        -size: {List.length(&2, U32, bytes) == 32n : Nat},
70        -valid: {bytes_valid(bytes) == True{} : Bool}
71    }