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=e5b7f601526cbf590a070b6b9aebe1ad

sha512=a1375603a3f0ac7681e7e2e989be8af809edef78becc7d920e1d18af4f1db576dce91525cec70292c4ba559eb3f3bac67b023bcc826ea3dfdab956c86990ef91

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