The standard library Unsafe_Rw_Vector api defines part of the Unsafe api.
The Unsafe_Rw_Vector api is implemented as part of the unsafe package.
The Unsafe_Rw_Vector api source code is in src/lib/std/src/unsafe/unsafe-rw-vector.api.
See also: Unsafe_Typelocked_Rw_Vector.
See also: Unsafe_Typelocked_Vector.
See also: Unsafe_Vector.
The above information is manually maintained and may contain errors.
api {
get : (Rw_Vector(X ) , Int) -> X;
set : (Rw_Vector(X ) , Int , X) -> Void;
make : (Int , X) -> Rw_Vector(X );};