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
The Logger module must provide some basic logging functionality, including error, debug and verbose messages. One can also set log_queries to true with a file, which allows the solver to write queries to a separate file.
val error : (Format.formatter -> unit -> unit) -> unitval debug : (Format.formatter -> unit -> unit) -> unitval verb : (Format.formatter -> unit -> unit) -> unit