package coq-core

  1. Overview
  2. Docs
package coq-core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Profile_tacticSource

Ltac profiling primitives

Sourceval do_profile_gen : ('a -> Pp.t option) -> 'a -> ?count_call:bool -> 'b Proofview.tactic -> 'b Proofview.tactic
Sourceval set_profiling : bool -> unit
Sourceval print_results : cutoff:float -> unit
Sourceval print_results_tactic : string -> unit
Sourceval reset_profile : unit -> unit
Sourceval restart_timer : string option -> unit
Sourceval finish_timing : prefix:string -> string option -> unit
Sourceval do_print_results_at_close : unit -> unit
Sourcetype treenode = {
  1. name : string;
  2. total : float;
  3. local : float;
  4. ncalls : int;
  5. max_total : float;
  6. children : treenode CString.Map.t;
}
Sourceval get_local_profiling_results : unit -> treenode
Sourceval feedback_results : treenode -> unit
Sourceval set_get_printing_width : (unit -> int) -> unit

Internal hook

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct