package syguslib-utils

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

An empty Stats module that does nothing.

val log_proc_start : int -> unit

val log_solver_start : int -> string -> unit

val log_proc_restart : int -> unit

val log_alive : int -> unit

val log_proc_quit : ?status:int -> int -> unit

val get_elapsed : int -> float