def length_pair_high

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

import Base

31def length_pair_high(low: U32, high_cmp: Cmp, max_low: U32) -> Bool:
32    match high_cmp:
33        case LT{}: True{}
34        case EQ{}: U32.is_le(low, max_low)
35        case GT{}: False{}