let
sub_exn t ~index ~length =
if
length = 0
then
empty
else
B
.sub t ~pos:index ~len:length