package coq-core

You can search for identifiers within the package.

in-package search v0.2.0

Module `Ssreflect_plugin.Ssrview`Source

Sourcemodule AdaptorDb : sig ... end

val tclIPAT_VIEWS : 
  views:Ssrast.ast_closure_term list ->
  ?clear_if_id:bool ->
  conclusion:(to_clear:Names.Id.t list -> unit Proofview.tactic) ->
  unit ->
  bool Proofview.tactic

Source

val tclWITH_FWD_VIEWS : 
  simple_types:bool ->
  subject:EConstr.t ->
  views:Ssrast.ast_closure_term list ->
  conclusion:(EConstr.t -> unit Proofview.tactic) ->
  unit Proofview.tactic

package coq-core

Module Ssreflect_plugin.SsrviewSource

Module `Ssreflect_plugin.Ssrview`Source