Sign in
gnu
/
gcc
/
cd2fd5facb5e1882d3f338ed456ae9536f7c0593
/
.
/
gcc
/
testsuite
/
gnat.dg
/
iter2.ads
blob: 2178630944aedaa9b7a9f0d6f855d6de5aae0776 [
file
] [
log
] [
blame
]
package
Iter2
with
SPARK_Mode
is
function
To_String
(
Name
:
String
)
return
String
;
end
Iter2
;