-- file FileSegment.mesa
-- last modified by Satterthwaite, 29-Oct-81 12:56:05

DIRECTORY
  File: TYPE USING [Capability, nullCapability];
  
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: File.Capability,
    span: Span];
    
  nullPages: Pages = [File.nullCapability, nullSpan];
  voidPages: Pages = [File.nullCapability, [1, 0]];	-- used as flag  

  }.