package ortac-runtime

  1. Overview
  2. Docs

Module Gospelstdlib.SysSource

Sourceval big_endian : bool
Sourceval int_size : int
Sourceval max_array_length : int
Sourceval max_string_length : int
Sourceval word_size : int