Ssrview (rocq-runtime.Ssreflect

module 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

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