def pkcs7.size_ok

import bend-osdev-cipher-modes@0.1.0.0/pkcs7.bend as Pkcs7

import Base

17def pkcs7.size_ok(+bs: Nat) -> Bool:
18  Bool.and(Nat.is_lt(0n, bs), Nat.is_lt(bs, 256n))

Uses (4)