def fields_equal

qasim-bend-kit@0.1.0.2 · proof/AES_IdentityProof.bend:78

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

78def fields_equal(+first: AES.Envelope, +second: AES.Envelope,
79    same: {AES.encode(first) == AES.encode(second) : String}) ->
80    {fields(first) == fields(second) : List<&2, String>}:
81    Equal.trans(List<&2, String>, fields(first), String.split(AES.encode(first), Chr{46}), fields(second),
82        Equal.sym(List<&2, String>, String.split(AES.encode(first), Chr{46}), fields(first),
83            Encoding.aes_encode_fields_split(first)),
84        Equal.trans(List<&2, String>, String.split(AES.encode(first), Chr{46}),
85            String.split(AES.encode(second), Chr{46}), fields(second),
86            Equal.cong(String, List<&2, String>, text => String.split(text, Chr{46}),
87                AES.encode(first), AES.encode(second), same), Encoding.aes_encode_fields_split(second)))