class
POLYNOM_INFO
General
cluster: root_cluster
create: make
Ancestors
ANY
Queries
child_value: INTEGER
end_session: BOOLEAN
int_value (s: STRING): INTEGER
Commands
cons_id_table (s: STRING)
make
print_id_table
set_child_value (i: INTEGER)
set_value