kdrag.solvers.kb.string.subseq

kdrag.solvers.kb.string.subseq(s: Sequence, t: Sequence) → int | None

Return index when s is a subsequence of t, None otherwise

>>> subseq("abc", "abacabadabacaba") is None
True
>>> subseq("abc", "abacabc")
4

Parameters:

• s (Sequence)

• t (Sequence)

Return type:

int | None