8 Subtype Index
is Natural Range 0..Line_length
;
9 Subtype Line_Count
is Natural Range 0..Max_Lines
;
11 Type Line
(Size
: Index
:= 0) is
13 Data
: String (1..Size
);
16 Type Lines
is Array (Line_Count
Range <>) of Line
;
18 Type Paragraph
(Size
: Line_Count
) is
20 Data
: Lines
(1..Size
);