def ccm.len_ok

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

import Base

103def ccm.len_ok(+l: Nat, +n: Nat) -> Bool:
104  ccm.len_ok.two(Nat.is_eq(l, 2n), l, n)