@is_integer_indexed(value)


the predicate returns true if its argument is a map whose domain is a set of integers.