Module type `ArrayF.IMPL`

val length : 'a array -> int
val make : int -> 'a -> 'a array
val append : 'a array -> 'a array -> 'a array
val map : ('a -> 'b) -> 'a array -> 'b array
val mapi : ('a -> int -> 'b) -> 'a array -> 'b array
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b array -> 'a
val every : ('a -> bool) -> 'a array -> bool
val slice : start:int -> end_:int -> 'a array -> 'a array