module BIT_CONCRETE is

type BIT is
   -- bit data type with two different values
   0 !implementedby "BIT_ZERO",
   1 !implementedby "BIT_ONE"
   with ==
end type

end module