val blit :
src:'a t @ local ->
(src_pos:int ->
(dst:'a t @ local ->
(dst_pos:int ->
(len:int ->
unit) @ local) @ local) @ local) @ localval blito :
src:'a t @ local ->
(?src_pos:int ->
(?src_len:int ->
(dst:'a t @ local ->
(?dst_pos:int ->
(unit ->
unit) @ local) @ local) @ local) @ local) @ localval unsafe_blit :
src:'a t @ local ->
(src_pos:int ->
(dst:'a t @ local ->
(dst_pos:int ->
(len:int ->
unit) @ local) @ local) @ local) @ localval sub : 'a t @ local -> (pos:int -> (len:int -> 'a t) @ local) @ localval subo : ?pos:int -> ?len:int -> 'a t @ local -> 'a t