abstract class $CARDINAL{NTP < $ARITHMETIC{NTP}} < $WHOLE_NUM{NTP},
Ancestors
$VALUE_ITERS{_}
$LIMITED{_}
$WHOLE_NUM{_}
$SIMPLE_NUM{_}
$HASH
$IS_EQ
$SEQUENCERS{_}
$COUNTS{_}
$ARITHMETIC{_}
$ADD_OPS{_}
$ZERO{_}
$NFE{_}
$TEXT
$STR
$BINARY
$ORDERED{_}
$IS_LT{_}
$VALUE{_}
$NIL
$IS_NIL
$CONVERSION{_}
Descendants
$INTEGER{_}
INT
FIELD
CARD
Public
Features
exp10 : NTP ;
exp2 : NTP ;
log2 : NTP ;
pow(
The Sather Home Page