package coq-core

You can search for identifiers within the package.

in-package search v0.2.0

The Coq Proof Assistant -- Core Binaries and Tools

Install

md5=66e57ea55275903bef74d5bf36fbe0f1

sha512=1a7eac6e2f58724a3f9d68bbb321e4cfe963ba1a5551b9b011db4b3f559c79be433d810ff262593d753770ee41ea68fbd6a60daa1e2319ea00dff64c8851d70b

Ltac profiling primitives

val 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 = {

}

Sourceval get_local_profiling_results : unit -> treenode

Sourceval feedback_results : treenode -> unit

Sourceval set_get_printing_width : (unit -> int) -> unit

Internal hook