VV
Size: a a a
VV
A
Aß
Aß
VV
Aß
VV
compare_string_lists(f, sl)
VV
Aß
fun qwe (str, list) =
let
fun bind _ NONE = NONE
| bind f (SOME x) = f x
fun loop [] = NONE
| loop (x :: xs) =
if same_string (str, x)
then SOME xs
else bind (fn xs' => x :: xs') (loop xs)
in
loop list
end;
SD
Aß
VV
SD
VV
Aß
VV
SD
Aß
Aß