Module Tuto3_plugin.Tuto_tactic
val two_lambda_pattern : Evd.evar_map -> EConstr.t -> EConstr.t * EConstr.t * EConstr.t
val pack_tactic : Names.Id.t -> unit Proofview.tactic
Tuto3_plugin.Tuto_tactic
val two_lambda_pattern : Evd.evar_map -> EConstr.t -> EConstr.t * EConstr.t * EConstr.t
val pack_tactic : Names.Id.t -> unit Proofview.tactic