Module MenhirLib.PackedIntArraySource

Sourcetype t = int * string
Sourceval pack : int array -> t
Sourceval get : t -> int -> int
Sourceval get1 : string -> int -> int
Sourceval unflatten1 : (int * string) -> int -> int -> int