immutable class BIT < $IS_EQ |
---|
$IS_EQ |
card : CARD .. Included as card |
---|
clear : BOOL .. Included as clear |
---|
create( |
---|
is_eq( .. Included as is_eq |
---|
is_eq(other : $OB) : BOOL .. Included as is_eq |
---|
**** | This is the generic equality predicate. c.f. the class $IS_EQ |
set : BOOL .. Included as set |
---|