Bonsai_web_for_introspectionmodule Incr_node : sig ... endmodule Profiling : sig ... endFor_profiling provides the needed hooks for tooling to "profile" bonsai apps. This is used by the bonsai debugger devtool panel to profile web apps.
module Rpc_effect_introspection : sig ... endval run_top_level_side_effects : unit Core.Lazy.trun_top_level_side_effects registers the callbacks necessary for introspection to work/sets up the communication necessary for the chrome dev tool panel. It does not actually start do any introspection itself. Introspection is enabled/controlled by the panel via the communication mechanisms setup by run_top_level_side_effects.