Module Ltac_plugin.Profile_ltac_tactics

Ltac profiling entrypoints

val __coq_plugin_name : string
val tclSET_PROFILING : bool -> unit Proofview.tactic
val tclRESET_PROFILE : unit Proofview.tactic
val tclSHOW_PROFILE : cutoff:float -> unit Proofview.tactic
val tclSHOW_PROFILE_TACTIC : string -> unit Proofview.tactic
val tclRESTART_TIMER : string option -> unit Proofview.tactic
val tclFINISH_TIMING : ?prefix:string -> string option -> unit Proofview.tactic