let
sub_exn t ~index ~length =
if
length = 0
then
empty
else
String
.sub t index length