def aes_bytes_valid_from_bool

qasim-bend-kit@0.1.0.2 · libs/AES256GCM.bend:348

import Base

348def aes_bytes_valid_from_bool(+bytes: List<&2, U32>, b: Bool,
349    link: {b == bytes_valid(bytes) : Bool}) ->
350    Maybe<&0, {bytes_valid(bytes) == True{} : Bool}>:
351    match b:
352        case False{}: None{}
353        case True{}:
354            Some{Equal.sym(Bool, True{}, bytes_valid(bytes), link)}