def Regex.VM.captureNext {s : String} (σ : Strategy s) (nfa : NFA) (wf : nfa.WellFormed) (p : s.Pos) : Option σ.Update

Equations

• One or more equations did not get rendered due to their size.

def Regex.VM.captureNextBuf {s : String} (nfa : NFA) (wf : nfa.WellFormed) (bufferSize : Nat) (p : s.Pos) : Option (Buffer s bufferSize)

Equations

• Regex.VM.captureNextBuf nfa wf bufferSize p = Regex.VM.captureNext (Regex.BufferStrategy s bufferSize) nfa wf p