def aes_split_push_single

qasim-bend-kit@0.1.0.2 · proof/AES_EnvelopeProof.bend:295

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

295def aes_split_push_single(value: U32, +suffix: String) ->
296    {String.split.push(AES.hex_digit(value), [suffix]) ==
297     [SCon{AES.hex_digit(value), suffix}] : List<&2, String>}:
298    {==}