A ppx extension to record module startup times. If a file contains [@@@ppx_module_timer.pay_overhead_to_time_individual_definitions], the individual definitions will be timed in that file (at the cost ...
There was an error while loading. Please reload this page.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results