class ATTRSORT < $IS_LT{ATTRSORT}


Ancestors
$IS_LT{_} $IS_EQ



Public


Readable Attributes
attr elt:ELT;
attr name:STR;

Writable Attributes
attr elt:ELT;
attr name:STR;

Features
create(n:STR,e:ELT):ATTRSORT
is_eq(b:SAME):BOOL
is_eq(arg: $OB): BOOL
is_lt(b:SAME):BOOL