Module `Ltac_plugin.Profile_ltac_tactics`

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