Prelude_extracted.ArrayProgram mode only
A program-mode imperative array, that can be mutated
include module type of struct include Stdlib.Array endval get : 'a array -> Imandrax_util.Z.t -> 'aval set : 'a array -> Imandrax_util.Z.t -> 'a -> unitval make : Imandrax_util.Z.t -> 'a -> 'a arrayval init : Imandrax_util.Z.t -> (Imandrax_util.Z.t -> 'a) -> 'a arrayval sub : 'a array -> Imandrax_util.Z.t -> Imandrax_util.Z.t -> 'a arrayval length : 'a array -> Imandrax_util.Z.tval mapi : (Imandrax_util.Z.t -> 'a -> 'b) -> 'a array -> 'b arrayval iteri : (Imandrax_util.Z.t -> 'a -> unit) -> 'a array -> unitval fill : 'a array -> Imandrax_util.Z.t -> Imandrax_util.Z.t -> 'a -> unitval blit :
'a array ->
Imandrax_util.Z.t ->
'a array ->
Imandrax_util.Z.t ->
Imandrax_util.Z.t ->
unit