10 lines
186 B
Ada
10 lines
186 B
Ada
|
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;
|