PreviousUpNext

14.4.135  Unsafe_Vector

The standard library Unsafe_Vector api defines part of the Unsafe api.

The Unsafe_Vector api is implemented as part of the unsafe package.

The Unsafe_Vector api source code is in src/lib/std/src/unsafe/unsafe-vector.api.

See also: Unsafe_Typelocked_Rw_Vector.

See also: Unsafe_Typelocked_Vector.

See also: Unsafe_Rw_Vector.

The above information is manually maintained and may contain errors.

api {
    get : (?.Vector(X ) , Int) -> X;
    make : (Int , List(X )) -> ?.Vector(X );};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext