Profiling (hax-engine.Hax_engine.Profiling)

val enabled : bool Prelude.ref

Is profiling enabled?

val profile : 
  Diagnostics.Context.t ->
  Prelude.int ->
  (Prelude.unit -> 'b) ->
  'b0

Profiles the function `f`, that operates in a given context over a given quantity of things it is processing.