package ppx_module_timer

You can search for identifiers within the package.

in-package search v0.2.0

ppx_module_timer
- LICENSE
- README
- Library ppx_module_timer
  - Ppx_module_timer
- Library ppx_module_timer.runtime
  - Ppx_module_timer_runtime
    
    Duration
    
    Format
- Sources
  - ppx_module_timer
    
    ppx_module_timer.ml
  - ppx_module_timer.runtime
    
    ppx_module_timer_runtime.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

ppx_module_timer

A ppx extension to record module startup times.

Modules using ppx_module_timer (included in ppx_jane_kernel) now have instrumentation to record their startup time. If the environment variable PPX_MODULE_TIMER is set (to anything), each module records its startup time, and before exiting the process prints out all of the module times in the order they occurred.