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