From 67d2755f16aea31a10088af9690f664ddfc58c61 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 28 Oct 2009 10:52:46 +0000 Subject: [PATCH] export group_by_tac --- helm/software/components/ng_tactics/nAuto.mli | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/helm/software/components/ng_tactics/nAuto.mli b/helm/software/components/ng_tactics/nAuto.mli index 99d6aa7e8..36b5bd153 100644 --- a/helm/software/components/ng_tactics/nAuto.mli +++ b/helm/software/components/ng_tactics/nAuto.mli @@ -15,4 +15,11 @@ val auto_tac: params:(NTacStatus.tactic_term list * (string * string) list) -> 's NTacStatus.tactic +val group_by_tac: + eq_predicate: + ((#NTacStatus.tac_status as 'a) -> + Continuationals.goal list -> Continuationals.goal -> bool) -> + action:'a NTacStatus.tactic -> + 'a NTacStatus.tactic + val debug : bool ref -- 2.39.5