module BIT_ABSTRACT is

type BIT is
   -- bit data type abstracted to a single value
   0
   with ==
end type

function 1 : BIT is
   return 0
end function

end module