module TYPES (TYPES_COMMON) is

type Pid is
   range 0...1 of Nat
   with ==, !=, last, ord
end type

type Nat_Array is
   array [0...1] of Nat
end type

type Tuple_Array is
   array [0...1] of Tuple
end type

type Cache is
   array [0...1] of Cache_State 
end type

type Cache_Array is
   array [0...1] of Cache
end type

end module