- Try to do better pretty printing when array elements are individually

[bpt/coccinelle.git] / bundles / menhirLib / menhir-20120123 / src / cst.mli

diff --git a/bundles/menhirLib/menhir-20120123/src/cst.mli b/bundles/menhirLib/menhir-20120123/src/cst.mli
deleted file mode 100644 (file)
index b4a1796..0000000
--- a/bundles/menhirLib/menhir-20120123/src/cst.mli
+++ /dev/null
@@ -1,40 +0,0 @@
-(**************************************************************************)
-(*                                                                        *)
-(*  Menhir                                                                *)
-(*                                                                        *)
-(*  François Pottier, INRIA Rocquencourt                                  *)
-(*  Yann Régis-Gianas, PPS, Université Paris Diderot                      *)
-(*                                                                        *)
-(*  Copyright 2005-2008 Institut National de Recherche en Informatique    *)
-(*  et en Automatique. All rights reserved. This file is distributed      *)
-(*  under the terms of the Q Public License version 1.0, with the change  *)
-(*  described in file LICENSE.                                            *)
-(*                                                                        *)
-(**************************************************************************)
-
-open Grammar
-
-(* Concrete syntax trees. *)
-
-(* A concrete syntax tree is one of a leaf -- which corresponds to a
-   terminal symbol; a node -- which corresponds to a non-terminal
-   symbol, and whose immediate descendants form an expansion of that
-   symbol; or an error leaf -- which corresponds to a point where the
-   [error] pseudo-token was shifted. *)
-
-type cst =
-  | CstTerminal of Terminal.t
-  | CstNonTerminal of Production.index * cst array
-  | CstError
-
-(* This is a (mostly) unambiguous printer for concrete syntax trees,
-   in an sexp-like notation. *)
-
-val print: out_channel -> cst -> unit
-
-(* This is a pretty-printer for concrete syntax trees. The notation is
-   the same as that used by the above printer; the only difference is
-   that the [Pprint] library is used to manage indentation. *)
-
-val show: out_channel -> cst -> unit
-