[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |

__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.

This document was generated on