~/jendhub

def eps.seen

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

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

810def eps.seen(hit: Bool, +prog: List<&2, Inst>, +pc: U32, +at0: Bool, +at1: Bool, w: Ew) -> Ew:
811  match hit:
812    case True{}:
813      w
814    case False{}:
815      Ew{stack, seen, mask, h} = w
816      eps.inst(List.get(&2, Inst, prog, U32.to_nat(pc)), pc, at0, at1, stack, pc <> seen, mask, h)

Uses (8)

Used by (1)