def prefix.valid

bend-kit-netip@0.1.0.0 · netip.bend:370

import Base

370def prefix.valid(addr: Addr, bits: U32, valid: Bool) -> Maybe<&2, Prefix>:
371  match valid:
372    case True{}:
373      prefix.limit(addr, bits)
374    case False{}:
375      None{}