Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package syguslib-utils
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
An empty logger that ignores messages, and can be used to construct a solver if no logging is desired.
val error : (Format.formatter -> unit -> unit) -> unitval debug : (Format.formatter -> unit -> unit) -> unitval verb : (Format.formatter -> unit -> unit) -> unit