Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
inline16_gen.ads
blob: 90f1f58d0390aa84705059a2a3f7db4bc3d47fcb [
file
] [
log
] [
blame
]
generic
type
Payload_Type
is
private
;
package
Inline16_Gen
with
SPARK_Mode
=>
On
is
procedure
Gfw_Image_Read
(
Data
:
out
Payload_Type
)
with
Inline_Always
;
end
Inline16_Gen
;