links

The Links Programming Language
IN THIS PACKAGE
val time_query : ( unit -> 'a ) -> 'a

Increment the query counte and add the time it took to execute the argument function to the query time counter.

val reset : unit -> unit

Reset all counters and timers to zero.

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