class interface BOOLEAN_REF

creation
   make (value: BOOLEAN)
      --  Initialize object


feature(s) from BOOLEAN_REF
   item: BOOLEAN
      --  Value of Current


   make (value: BOOLEAN)
      --  Initialize object


feature(s) from BOOLEAN_REF
   set_item (value: like item)

   infix "and" (other: like Current): like Current
      --  and of Current with other.

      require
         other /= Void

   infix "and then" (other: like Current): like Current
      --  Semi-strict and of Current with other.

      require
         other /= Void

   infix "implies" (other: like Current): like Current
      --  Does Current imply other.

      require
         other /= Void

   infix "or" (other: like Current): like Current
      --  or of Current with other

      require
         other_not_void: other /= Void

   infix "or else" (other: like Current): like Current
      --  Semi-strict or of Current with other

      require
         other_not_void: other /= Void

   infix "xor" (other: like Current): like Current
      --  xor of Current with other

      require
         other /= Void

   prefix "not": like Current
      --  not of Current.


   out_in_tagged_out_memory
      --  Append terse printable represention of current object
      --  in tagged_out_memory.


   fill_tagged_out_memory
      --  Append terse printable represention of current object
      --  in tagged_out_memory.



end of BOOLEAN_REF