law aes256gcm_nist_empty_decrypt

qasim-bend-kit@0.1.0.2 · LAWS.bend:529

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

529law aes256gcm_nist_empty_decrypt:
530    {AES.decrypt(aes256gcm_nist_key(), [],
531        aes256gcm_nist_empty()) == Done{[]} :
532        Result<&2, &2, AES.Error, List<&2, U32>>}