def bits

bend-kit-regex@0.8.0.0 · regex.bend:883

import bend-kit-regex@0.8.0.0/regex.bend as Regex

import Base

883def bits(+fuel: Nat, +prog: List<&2, Inst>) -> Maybe<&2, Bits>:
884  bits.if(Nat.is_le(List.length(&2, Inst, prog), 32n) && bits.plain(prog), fuel, prog)

Uses (10)

Used by (2)