immutable class C_DOUBLE |
---|
create( |
---|
div( .. Included as div |
---|
fltd : FLTD .. Included as fltd |
---|
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 |
is_lt( .. Included as is_lt |
---|
is_nil : BOOL .. Included as is_nil |
---|
minus( .. Included as minus |
---|
nil : SAME .. Included as nil |
---|
plus( .. Included as plus |
---|
str : STR .. Included as str |
---|
times( .. Included as times |
---|
zero : SAME .. Included as zero |
---|