O1trace.Execution_timerinclude Plugins.Plugin_intfinclude Plugins.Registered_plugin_spec_intfinclude Plugins.Plugin_spec_intfval sexp_of_state : state -> Ppx_sexp_conv_lib.Sexp.tval init_state : string -> stateval registration : Plugins.proof_of_registrationval state_id : state Core_kernel.Type_equal.Id.tval on_job_enter : Thread.Fiber.t -> unitval on_job_exit : Thread.Fiber.t -> Core_kernel.Time_ns.Span.t -> unitval elapsed_time_of_thread : Thread.t -> Core_kernel.Time_ns.Span.t