Skip to content

Add `array_init` and corresponding WP specs.

Dan Frumin requested to merge dfrumin/iris-coq:array_init into master

I had to use something like Array.init from OCaml in my code and came up with this spec wp_array_init. Should probably provide a total WP version as well?

Edited by Dan Frumin

Merge request reports