@is_list(value)


the predicate returns true if its argument is a map whose domain is the integers [0 .. n] for some n.