package gospel

You can search for identifiers within the package.

in-package search v0.2.0

A tool-agnostic formal specification language for OCaml

Install

md5=964e7cb82b4391c7ad0794c20adcc67f

sha512=15c5d3f48fac648ce0799c2664323d461f3792ae9477ba0fe8c499228a9faddda22e8ef66ef10733dce550dcf8ba2641fce2b5472005f649f28e5426d0631375

Maps from keys of type 'a to values of type 'b are represented by Gospel functions of type 'a -> 'b.