Basic Operations on OCaml vectors

Function: make : int -> t

make size
Return a vector of size size with all coefficient initialized to 0. size=0 is accepted.

Function: copy : t -> t

Return a copy of the vector.

Function: _print : t -> unit

Print in a unformatted way on the C standard output the vector.

Function: get : t -> int -> int

get vec index
Return the corresponding coefficient of the vector; in case of overflow during the conversion from pkint_t to int, raise exception Polka.Overflow.

Function: get_str10 : t -> int -> string

get_str10 vec index
Return the string representation in base 10 of the corresponding coefficient of the vector.

Function: set : t -> int -> int -> unit

set vec index val
Store the value val in the corresponding coefficient of the vector.

Function: set_str10 : t -> int -> string -> unit

set_str10 vec index val
Store the value val represented in base 10 in the corresponding coefficient of the vector.

Function: length : t -> int

Return the length of the vector.