Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
vect3_pkg.ads
blob: 8c926bbcd6aa0496151fe7831f74f96f9797cf10 [
file
] [
log
] [
blame
]
with
System
;
package
Vect3_Pkg
is
type
Index_Type
is
mod
System
.
Memory_Size
;
function
K
return
Index_Type
;
function
N
return
Index_Type
;
end
Vect3_Pkg
;