| package Varsize2 is | |
| type Key_Type is | |
| (Nul, Cntrl, Stx, Etx, Eot, Enq, Ack, Spad, Clr, Dc_1, Dc_2, Dc_3, Dc_4); | |
| for Key_Type use | |
| (Nul => 0, | |
| Cntrl => 1, | |
| Stx => 2, | |
| Etx => 3, | |
| Eot => 4, | |
| Enq => 5, | |
| Ack => 6, | |
| Spad => 7, | |
| Clr => 8, | |
| Dc_1 => 17, | |
| Dc_2 => 18, | |
| Dc_3 => 19, | |
| Dc_4 => 20); | |
| type Page_Type(D : Boolean := False) is record | |
| case D is | |
| when True => I : Integer; | |
| when False => null; | |
| end case; | |
| end record; | |
| function F (Key : Key_Type) return Page_Type; | |
| end Varsize2; |