array constructors

Status: Beta

Brought to you by: mdupont

#5 array constructors

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2003-01-14

Created: 2003-01-14

Private: No

constructor(array_type) named-ordered-collection (elts)

the type of an array is stored in the "etls"
array_type elts integer_type

the values of the array are stored in a tree list
constructor elts tree_list

the type of the constructor is a array type
constructor type array_type