Модуль Gc.Tweak

module Tweak: sig .. end

Настройки GC — это нестабильные и недокументированные параметры GC, предназначенные главным образом для разработчиков GC.

Их можно задавать с помощью Gc.Tweak.set "foo" 42, а также настраивать через OCAMLRUNPARAM, используя следующий синтаксис:

OCAMLRUNPARAM='Xfoo=42'

Кроме того, OCAMLRUNPARAM=Xhelp выведет список доступных настроек GC.

val set : string -> int -> unit

Изменяет параметр. Вызывает исключение Invalid_argument, если такого параметра не существует

val get : string -> int

Получает значение параметра. Вызывает исключение Invalid_argument, если такого параметра не существует

val list_active : unit -> (string * int) list

Возвращает список параметров и их значений, отличных в данный момент от значений по умолчанию