Module Ltac2_plugin.Tac2extffi
val qhyp : Tac2types.quantified_hypothesis Tac2ffi.reprval bindings : Tac2types.bindings Tac2ffi.reprval constr_with_bindings : Tac2types.constr_with_bindings Tac2ffi.repr
Ltac2_plugin.Tac2extffival qhyp : Tac2types.quantified_hypothesis Tac2ffi.reprval bindings : Tac2types.bindings Tac2ffi.reprval constr_with_bindings : Tac2types.constr_with_bindings Tac2ffi.repr