Module Ltac_plugin.Extratactics