def aes_bool_true_proof

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

import Base

325def aes_bool_true_proof(+x: U32, b: Bool,
326                        link: {b == U32.is_lt(x, 256) : Bool}) -> Maybe<&0, {U32.is_lt(x, 256) == True{} : Bool}>:
327    match b:
328        case False{}: None{}
329        case True{}:
330            Some{Equal.trans(Bool, U32.is_lt(x, 256), b, True{},
331                Equal.sym(Bool, b, U32.is_lt(x, 256), link), {==})}