let
is_prefix t ~prefix =
match
comp_loop
true
(t,prefix)
with
|
Some
_
->
true
|
None
->
false