let
rec
extend s k u =
let
k = succ k
in
let
v = letter s k
in
if
v == u
then
extend s k u
else
k