(* CharArray -- as of 1995-06-14 *) prim_eqtype arraytype elem   = Char.chartype vector = CharVector.vector local     prim_val magic : 'a -> 'b = 1 "identity";in    val maxLen = Word8Array.maxLen    val array    : int * elem -> array          = magic Word8Array.array    val tabulate : int * (int -> elem) -> array = magic Word8Array.tabulate    val fromList : elem list -> array           = magic Word8Array.fromList    val length   : array -> int                 = magic Word8Array.length    val sub      : array * int -> elem          = magic Word8Array.sub    val update   : array * int * elem -> unit   = magic Word8Array.update    val extract  : array * int * int option -> vector  						= magic Word8Array.extract    val copy     : {src: array, si: int, len : int option, 		    dst: array, di: int} -> unit = magic Word8Array.copy    val copyVec  : {src: vector, si: int, len: int option, 		    dst: array, di: int} -> unit = magic Word8Array.copyVec    val app      : (elem -> unit) -> array -> unit						= magic Word8Array.app     fun foldl (f : elem * 'b -> 'b) (e : 'b) (a : array) : 'b	= Word8Array.foldl (magic f) e (magic a)     fun foldr (f : elem * 'b -> 'b) (e : 'b) (a : array) : 'b	= Word8Array.foldr (magic f) e (magic a)     fun modify (f : elem -> elem) (a : array) : unit	= Word8Array.modify (magic f) (magic a)     fun appi (f : int * elem -> unit) (a : array*int*int option) : unit	= Word8Array.appi (magic f) (magic a)     fun foldli (f : int * elem * 'b -> 'b) (e : 'b)                (a : array*int*int option) : 'b	= Word8Array.foldli (magic f) e (magic a)     fun foldri (f : int * elem * 'b -> 'b) (e : 'b) 	       (a : array*int*int option) : 'b 	= Word8Array.foldri (magic f) e (magic a)     fun modifyi (f : int * elem -> elem) (a : array*int*int option) : unit	= Word8Array.modifyi (magic f) (magic a) (*    val foldl    : (elem * 'b -> 'b) -> 'b -> array -> 'b						= magic Word8Array.foldl    val foldr    : (elem * 'b -> 'b) -> 'b -> array -> 'b						= magic Word8Array.foldr    val modify   : (elem -> elem) -> array -> unit						= magic Word8Array.modify    val appi     : (int * elem -> unit) -> array*int*int option -> unit						= magic Word8Array.appi    val foldli   : (int * elem * 'b -> 'b) -> 'b -> array*int*int option -> 'b						= magic Word8Array.foldli    val foldri   : (int * elem * 'b -> 'b) -> 'b -> array*int*int option -> 'b						= magic Word8Array.foldri    val modifyi  : (int * elem -> elem) -> array*int*int option -> unit						= magic Word8Array.modifyi*)end