Sign in
gnu
/
gcc
/
cd2fd5facb5e1882d3f338ed456ae9536f7c0593
/
.
/
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
;