~/jendhub

def ccm.len_ok.two

bend-osdev-cipher-modes@0.1.0.0 · ccm.bend:96

import bend-osdev-cipher-modes@0.1.0.0/ccm.bend as Ccm
import Base

96def ccm.len_ok.two(two: Bool, +l: Nat, +n: Nat) -> Bool:
97  match two:
98    case True{}:
99      U32.is_lt(U32.from_nat(n), 65536)
100    case False{}:
101      ccm.len_ok.three(Nat.is_eq(l, 3n), n)

Uses (6)

Used by (1)