package lambdapi
-
lambdapi.tool
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Helper functions for debugging. *
module D : sig ... endPrinting functions.
Logging function for command handling.
val log_hndl : 'a Lplib.Base.outfmt -> 'atime_of f x computes f x and prints the time for computing it.
val do_record_time : bool refTo record time with record_time.
val do_print_time : bool refval index : task -> intval task_name : Format.formatter -> int -> unitval record_time : task -> (unit -> unit) -> unitrecord_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 -> unitstream_iter f s is the same as Stream.iter f s but records the time in peeking the elements of the stream.