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

Gospel declaration:
    function word_size : integer

Gospel declaration:
    function int_size : integer

Gospel declaration:
    function big_endian : bool

Gospel declaration:
    function max_string_length : integer

Gospel declaration:
    function max_array_length : integer