14.4.133  Unsafe_Typelocked_Rw_Vector

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

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

The Unsafe_Typelocked_Rw_Vector api source code is in src/lib/std/src/unsafe/unsafe-typelocked-rw-vector.api.

See also: Unsafe_Typelocked_Vector.

See also: Unsafe_Rw_Vector.

See also: Unsafe_Vector.

The above information is manually maintained and may contain errors.

api {
    Rw_Vector;
    Element;
    get : (Rw_Vector , Int) -> Element;
    set : (Rw_Vector , Int , Element) -> Void;
    make : Int -> Rw_Vector;};