module TYPES (TYPES_COMMON) is

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

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

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

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

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

end module