val blast_tac : (Tacexpr.raw_tactic_expr -> 'a) ->
    int list -> Proof_type.tactic