Property definitions

functional $ OrderedIter :: sorted_arr=
        private var sorted_arr: Array[E] is noinit
lib/functional/iter_extras.nit:358,9--50