Ssrview (u.3758aa3ddc38cffa23da0eeb3fa7893a.rocq-runtime.9.0.0.doc.ssreflect_plugin.Ssreflect

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