Frama_c_kernel.Parray
val init : int -> (int -> 'a) -> 'a t
val get : 'a t -> int -> 'a
val fold : (int -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val pretty :
?sep:Pretty_utils.sformat ->
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'a t ->
unit