class
     PRODUCT

General
     cluster: root_cluster
     create: make

Ancestors
     AGGREGATE
     POLYNOM

Queries
     infix "@" (i: INTEGER): [like item] CONSTRUCT
     arity: INTEGER
     binary_representation: BINARY_TREE [CONSTRUCT]
     changeable_comparison_criterion: BOOLEAN
     child: [like first_element] CONSTRUCT
     child_after: BOOLEAN
     child_before: BOOLEAN
     child_cursor: CURSOR
     Child_extendible: BOOLEAN
     child_index: INTEGER
     child_isfirst: BOOLEAN
     child_islast: BOOLEAN
     child_item: CONSTRUCT
     child_off: BOOLEAN
     child_readable: BOOLEAN
     child_writable: BOOLEAN
     committed: BOOLEAN
     Construct_name: STRING
     count: INTEGER
     Document: INPUT
     duplicate (n: INTEGER): [like Current] PRODUCT
     exhausted: BOOLEAN
     Extendible: BOOLEAN
     first: [like item] CONSTRUCT
     first_child: [like parent] CONSTRUCT
     for_all (test: FUNCTION [ANY, TUPLE [CONSTRUCT], BOOLEAN]): BOOLEAN
     has (v: CONSTRUCT): BOOLEAN
     has_commit: BOOLEAN
     i_th (i: INTEGER): [like item] CONSTRUCT
     index_of (v: [like item] CONSTRUCT; i: INTEGER): INTEGER
     index_set: INTEGER_INTERVAL
     is_empty: BOOLEAN
     is_optional: BOOLEAN
     is_root: BOOLEAN
     is_sibling (other: [like parent] CONSTRUCT): BOOLEAN
     item: CONSTRUCT
     last: [like item] CONSTRUCT
     last_child: [like parent] CONSTRUCT
     left_recursion: BOOLEAN
     left_sibling: [like Current] PRODUCT
     linear_representation: LINEAR [CONSTRUCT]
     no_components: BOOLEAN
     object_comparison: BOOLEAN
     occurrences (v: [like item] CONSTRUCT): INTEGER
     parsed: BOOLEAN
     Print_mode: CELL [BOOLEAN]
     Production: LINKED_LIST [CONSTRUCT]
     prunable: BOOLEAN
     Readable: BOOLEAN
     readable_child: BOOLEAN
     right_sibling: [like Current] PRODUCT
     sequential_occurrences (v: CONSTRUCT): INTEGER
     sublist: [like Current] PRODUCT
     there_exists (test: FUNCTION [ANY, TUPLE [CONSTRUCT], BOOLEAN]): BOOLEAN
     valid_cursor (p: CURSOR): BOOLEAN
     valid_cursor_index (i: INTEGER): BOOLEAN
     valid_index (i: INTEGER): BOOLEAN
     Writable: BOOLEAN
     writable_child: BOOLEAN

Commands
     append (s: SEQUENCE [CONSTRUCT])
     child_back
     child_extend (v: [like item] CONSTRUCT)
     child_finish
     child_forth
     child_go_i_th (i: INTEGER)
     child_go_to (p: CURSOR)
     child_put (v: [like item] CONSTRUCT)
     child_put_left (v: [like item] CONSTRUCT)
     child_put_right (v: [like item] CONSTRUCT)
     child_replace (v: [like item] CONSTRUCT)
     child_start
     commit
     compare_objects
     compare_references
     do_all (action: PROCEDURE [ANY, TUPLE [CONSTRUCT]])
     do_if (action: PROCEDURE [ANY, TUPLE [CONSTRUCT]]; test: FUNCTION [ANY, TUPLE [CONSTRUCT], BOOLEAN])
     extend (v: [like item] CONSTRUCT)
     fill (other: TREE [CONSTRUCT])
     fill_from_binary (b: BINARY_TREE [CONSTRUCT])
     force (v: [like item] CONSTRUCT)
     make
     merge_tree_after (other: [like first_child] CONSTRUCT)
     merge_tree_before (other: [like first_child] CONSTRUCT)
     move (i: INTEGER)
     parse
     post_action
     pre_action
     print_name
     process
     prune (n: [like first_child] CONSTRUCT)
     prune_all (v: [like item] CONSTRUCT)
     put_child (n: [like parent] CONSTRUCT)
     put_child_left (n: [like parent] CONSTRUCT)
     put_child_right (n: [like parent] CONSTRUCT)
     put_front (v: [like item] CONSTRUCT)
     put_i_th (v: [like item] CONSTRUCT; i: INTEGER)
     remove_child
     remove_left_child
     remove_right_child
     remove_sublist
     replace (v: [like item] CONSTRUCT)
     replace_child (n: [like parent] CONSTRUCT)
     search_child (v: [like item] CONSTRUCT)
     semantics
     set_optional
     split (n: INTEGER)
     sprout
     swap (i: INTEGER)
     twl_merge_left (other: [like Current] PRODUCT)
     twl_merge_right (other: [like Current] PRODUCT)
     twl_prune (v: [like item] CONSTRUCT)
     wipe_out