package pgsolver

  1. Overview
  2. Docs
package pgsolver
Legend:
Library
Module
Module type
Parameter
Class
Class type
val message_ch : out_channel ref
val verbosity : int ref
type verbosity_level = int
val init_message_timing : unit -> unit
val verbosity_level_verbose : verbosity_level
val verbosity_level_default : verbosity_level
val message : verbosity_level -> (unit -> string) -> unit
val message_depth : verbosity_level -> int -> (unit -> string) -> unit
val message_depth_tagged : verbosity_level -> int -> (unit -> string) -> (unit -> string) -> unit
val message_incrdepth : unit -> unit
val message_decrdepth : unit -> unit
val message_autod : verbosity_level -> (unit -> string) -> unit
val message_autotagged : verbosity_level -> (unit -> string) -> (unit -> string) -> unit
val message_autotagged_newline : verbosity_level -> (unit -> string) -> (unit -> string) -> unit