# HG changeset patch
# User wenzelm
# Date 979601718 -3600
# Node ID 57eb8c1d6f8891b5be2e99ed46392eb65e4fc903
# Parent  3cf3bb8ee32423d1a836bb81ef69294716f5dce4
export fold_ast etc.;

diff -r 3cf3bb8ee324 -r 57eb8c1d6f88 src/Pure/Syntax/ast.ML
--- a/src/Pure/Syntax/ast.ML	Tue Jan 16 00:34:31 2001 +0100
+++ b/src/Pure/Syntax/ast.ML	Tue Jan 16 00:35:18 2001 +0100
@@ -22,6 +22,10 @@
   val pretty_ast: ast -> Pretty.T
   val pretty_rule: ast * ast -> Pretty.T
   val pprint_ast: ast -> pprint_args -> unit
+  val fold_ast: string -> ast list -> ast
+  val fold_ast_p: string -> ast list * ast -> ast
+  val unfold_ast: string -> ast -> ast list
+  val unfold_ast_p: string -> ast -> ast list * ast
   val trace_ast: bool ref
   val stat_ast: bool ref
   end;
@@ -31,10 +35,6 @@
   include AST1
   val head_of_rule: ast * ast -> string
   val rule_error: ast * ast -> string option
-  val fold_ast: string -> ast list -> ast
-  val fold_ast_p: string -> ast list * ast -> ast
-  val unfold_ast: string -> ast -> ast list
-  val unfold_ast_p: string -> ast -> ast list * ast
   val normalize: bool -> bool -> (string -> (ast * ast) list) -> ast -> ast
   val normalize_ast: (string -> (ast * ast) list) -> ast -> ast
   end;