def weight_ok

import bend-kit-collections@0.1.4.1/LAWS.bend as LAWS

import Base

264def weight_ok(+wl: Nat, +wh: Nat) -> Bool:
265  Nat.is_le(wh, Nat.mul(3n, wl)) && Nat.is_le(wl, Nat.mul(3n, wh))

Uses (5)