Searched refs:Frame_Range (Results 1 – 2 of 2) sorted by relevance
102 type Frame_Range is range 1 .. 10000; type103 function H (N : Integer_Address) return Frame_Range;106 Header_Num => Frame_Range,290 function H (N : Integer_Address) return Frame_Range is292 return Frame_Range (1 + N mod Frame_Range'Range_Length);