Module Gospelstdlib.Sys

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