substring

s substring t tests whether the list of values taken by s occurs in the same order and contiguously in the list of values taken by t.

letting s be sequence(1,1)
letting t be sequence(2,1,3,1)
find b : bool such that b <-> s substring t $ false

See it demonstrated here.