package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type

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