Skip to content
GitLab

Add `array_init` and corresponding WP specs.

Merged 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