out-of-zbox ( seq Z l r k -- seq Z l r )


Vocabulary
z-algorithm.private

Inputs and outputs
seqan object
Zan object
lan object
ran object
kan object


Definition


:: out-of-zbox ( seq Z l r k -- seq Z l r )
seq k tail-slice seq lcp :> Zk Zk k Z set-nth seq Z Zk 0 >
[ k Zk k + 1 - ] [ l r ] if ; inline