module TYPES is

type BIT is
   0, 1
end type

function not (B: BIT): BIT is
   case B in
      0 -> return 1
   |  1 -> return 0
   end case
end function

type MSG is 
   range 0...4 of NAT
end type

end module