links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Debug
val enabled : bool Settings.setting
val print_no_lf : string -> unit

print a debug message without line feed if debugging is enabled

val print : string -> unit

print a debug message if debugging is enabled

val print_l : string lazy_t -> unit

print a debug message if debugging is enabled

val f : ( 'a, unit, string, unit ) format4 -> 'a

printf-style debugging

val if_set : bool Settings.setting -> ( unit -> string ) -> unit

if_set setting message: print message() if debugging is enabled and setting is on.

val if_set_l : bool Settings.setting -> string lazy_t -> unit

if_set_l setting message: print message (a lazy expr) if debugging is enabled and setting is on.

val debug_time : string -> ( unit -> 'a ) -> 'a

debug_time msg f: run f() and measure running time; print msg with time and return result

val debug_time_out : ( unit -> 'a ) -> ( int -> unit ) -> 'a

debug_time_out f withtime: run f() and measure running time; call function withtime with running time as argument and then afterwards return result of f())

val eval_l : 'a Lazy.t -> unit

Forces evaluation of the given lazy expression if debugging is enabled.