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

Equations

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

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

Equations

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