~/jendhub

def unequal_is_false

qasim-bend-kit@0.1.0.2 · proof/AES_TagCompareProof.bend:118

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

118def unequal_is_false(+a: List<&2, U32>, +b: List<&2, U32>,
119    unequal: {a != b : List<&2, U32>}) ->
120    {AES.bytes_equal_full_scan(a, b) == False{} : Bool}:
121    unequal_from_bool(a, b, AES.bytes_equal_full_scan(a, b), {==}, unequal)

Uses (6)

Used by (1)