Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Helper functions for debugging. *
module D : sig ... end
Printing functions.
Logging function for command handling.
val log_hndl : 'a Lplib.Base.outfmt -> 'a
time_of f x
computes f x
and prints the time for computing it.
val index : task -> int
val record_time : task -> (unit -> unit) -> unit
record_time s f
records under s
the time spent in calling f
. print_time ()
outputs the recorded times.
record_time s f
records under s
the time spent in calling f
. print_time ()
outputs the recorded times.
val stream_iter : ('a -> unit) -> 'a Stream.t -> unit
stream_iter f s
is the same as Stream.iter f s
but records the time in peeking the elements of the stream.