# Module CamlinternalMenhirLib.LinearizedArray

    module LinearizedArray: sig .. end

    type 'a t = 'a array * int array

    val make : 'a array array -> 'a t

    val read : 'a t -> int -> int -> 'a

    val write : 'a t -> int -> int -> 'a -> unit

    val length : 'a t -> int

    val row_length : 'a t -> int -> int

    val read_row : 'a t -> int -> 'a list

    val row_length_via : (int -> int) -> int -> int

    val read_via : (int -> 'a) -> (int -> int) -> int -> int -> 'a

    val read_row_via : (int -> 'a) -> (int -> int) -> int -> 'a list