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