Add support for functional models

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

https://ocaml-gospel.github.io/ortac/

MIT License

36 stars 10 forks source link

Closed n-osborne closed 1 month ago

n-osborne commented 3 months ago

This PR proposes to add support for functional models in Ortac.

This fixes #212