def aes_split_hex_digit_no_dot

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

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

129def aes_split_hex_digit_no_dot(value: U32, +parts: List<&2, String>) ->
130    {String.split.fin(AES.hex_digit(value), parts,
131        Char.is_eq(AES.hex_digit(value), Chr{46})) ==
132     String.split.push(AES.hex_digit(value), parts) : List<&2, String>}:
133    Equal.cong(Bool, List<&2, String>,
134        cut => String.split.fin(AES.hex_digit(value), parts, cut),
135        Char.is_eq(AES.hex_digit(value), Chr{46}), False{},
136        aes_hex_digit_no_dot(value))