goblint-cil
  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a t
val create : int -> 'a -> 'a t
val init : int -> (int -> 'a) -> 'a t
val blit : 'a t -> int -> 'a t -> int -> int -> unit
val fill : 'a t -> int -> int -> 'a -> unit
val length : 'a t -> int
val get : 'a t -> int -> 'a
val set : 'a t -> int -> 'a -> unit
val copy : 'a t -> 'a t
val map : ('a -> 'b) -> 'a t -> 'b t
val docArray : ?sep:Pretty.doc -> (int -> 'a -> Pretty.doc) -> unit -> 'a t -> Pretty.doc