Module `Make_no_zero.Array`

type index = t

type 'a t

val empty : 'a Array.t

val singleton : 'a -> 'a Array.t

val extend : 'a Array.t -> Array.index -> (Array.index -> 'a) -> 'a Array.t

val retract : 'a Array.t -> Array.index -> 'a Array.t

val contains : 'a Array.t -> Array.index -> bool

val last : 'a Array.t -> Array.index option

val set : 'a Array.t -> Array.index -> 'a -> unit

val get : 'a Array.t -> Array.index -> 'a

Module Make_no_zero.Array