class REPERTOIRE |
---|
attr charmap : REP_MAP ; |
---|
attr maps : FLIST{ORDERING} ; |
---|
attr undefined : RANGE_ORDERING ; |
---|
Leaf_Name_ref : STR |
---|
attr charmap : REP_MAP ; |
---|
attr maps : FLIST{ORDERING} ; |
---|
shared priv_default : SAME ; |
---|
shared priv_default : SAME ; |
---|
attr undefined : RANGE_ORDERING ; |
---|