
    <<FileSegment.mesa>>
        <<Copyright © 1985 by Xerox Corporation.  All rights reserved.>>
        <<Satterthwaite, 29-Oct-81 12:56:05>>
        <<Rovner, May 13, 1983 2:38 pm>>
    <<Russ Atkinson (RRA) January 31, 1985 1:08:41 pm PST>>

    FileSegment: DEFINITIONS = {
        Span: TYPE = RECORD[
            base: NAT,        -- base page (0 = leader, if present)
            pages: NAT        -- interval is [base .. base+pages)
            ];

        nullSpan: Span = [0, 0];

        Pages: TYPE = RECORD[
            file: REF ANY,
            span: Span
            ];

        nullPages: Pages = [NIL, nullSpan];
        voidPages: Pages = [NIL, [1, 0]];    -- used as flag  

        }.

