search

ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.
https://ocaml-gospel.github.io/gospel
MIT License
128 stars 16 forks source link

Add `Sequence.mapi` #365

Open n-osborne opened 1 year ago

n-osborne commented 1 year ago

One use case would be the specification of fill. I believe it is more natural to write a specification using mapi rather than using the [.._] and [_..] notations. At least, is would be nice to give the choice to the user.