package alt-ergo-lib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val src : Logs.src
val init : unit -> unit

Prints some debug info about the GC's activity.

Gc logging

This module registers some alarm functions (if configured in the Options modules) that print some gc statistics on stderr.

OCaml

Innovation. Community. Security.