blob: 8cf0c74ea37ddd019eab39359c78115926d8cb04 [file] [log] [blame]
package Dse_Step is
type Counter is record
Value : Natural;
Step : Natural;
end record;
pragma Suppress_Initialization (Counter);
procedure Do_Step (This : in out Counter);
pragma Inline (Do_Step);
type My_Counter is new Counter;
pragma Suppress_Initialization (My_Counter);
procedure Step_From (Start : in My_Counter);
Nsteps : Natural := 12;
Mv : Natural;
end;