15.4.1019  src/lib/src/typelocked-rw-vector-g.pkg

## typelocked-rw-vector-g.pkg

# Compiled by:
#     src/lib/std/standard.lib

# This simple generic allows easy construction
# of new typelocked rw_vector packages.


stipulate
    package rov =     vector;                   #    vector             is from   src/lib/std/src/vector.pkg
    package rwv =  rw_vector;                   # rw_vector             is from   src/lib/std/src/rw-vector.pkg

herein

    generic package   typelocked_rw_vector_g   ( Element;)
        #             ======================
    :
    Typelocked_Rw_Vector                        # Typelocked_Rw_Vector  is from   src/lib/std/src/typelocked-rw-vector.api
    where
        Element == Element
    =
    package {
        include package   rwv;

        Element = Element;

        Rw_Vector = rwv::Rw_Vector( Element );
           Vector =    rov::Vector( Element );
    };
end;



## COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.