diff options
Diffstat (limited to 'parsing/coqast.mli')
-rw-r--r-- | parsing/coqast.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/parsing/coqast.mli b/parsing/coqast.mli index f741574e8..b5ad45c74 100644 --- a/parsing/coqast.mli +++ b/parsing/coqast.mli @@ -40,3 +40,10 @@ val hcons_ast: (string -> string) * (Names.identifier -> Names.identifier) * (section_path -> section_path) -> (t -> t) * (loc -> loc) + +(* +val map_tactic_expr : (t -> t) -> (tactic_expr -> tactic_expr) -> tactic_expr -> tactic_expr +val fold_tactic_expr : + ('a -> t -> 'a) -> ('a -> tactic_expr -> 'a) -> 'a -> tactic_expr -> 'a +val iter_tactic_expr : (tactic_expr -> unit) -> tactic_expr -> unit +*) |