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