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;