def tag_is_snd

qasim-bend-kit@0.1.0.2 · proof/AES_StringEqProof.bend:20

import Base
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/proofs/string_compare.bend as Compare

20def tag_is_snd(r: (String & String) & Cmp) ->
21    {Compare.comparison_tag(String, r) ==
22     Pair.snd(String & String, Cmp, r) : Cmp}:
23    match r:
24        case ((a, b), c): {==}