def rev.build

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

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

import Base

942def rev.build(m: Maybe<&2, Node>) -> Maybe<&2, Bits>:
943  match m:
944    case None{}:
945      None{}
946    case Some{node}:
947      +insts = emit(reverse.node(node), 0, [IMatch{}])
948      +fuel = Nat.add(Nat.mul(3n, List.length(&2, Inst, insts)), 2n)
949      bits(fuel, insts)

Uses (11)

Used by (1)

bend-kit-regex@0.8.0.0/regex:rev.if