Property definitions

functional $ OrderedIter :: sorted_iter
        private var sorted_iter: Iterator[E] is noinit
lib/functional/iter_extras.nit:357,9--54