Module MenhirLib.LinearizedArraySource

Sourcetype 'a t = 'a array * int array
Sourceval make : 'a array array -> 'a t
Sourceval read : 'a t -> int -> int -> 'a
Sourceval write : 'a t -> int -> int -> 'a -> unit
Sourceval length : 'a t -> int
Sourceval row_length : 'a t -> int -> int
Sourceval read_row : 'a t -> int -> 'a list
Sourceval row_length_via : (int -> int) -> int -> int
Sourceval read_via : (int -> 'a) -> (int -> int) -> int -> int -> 'a
Sourceval read_row_via : (int -> 'a) -> (int -> int) -> int -> 'a list