This belongs to last commit

50d9637e · Raphaël Cauderlier · 441e5bb7 · 50d9637e · 50d9637e · 50d9637e
Commit 50d9637e authored Jun 27, 2014 by Raphaël Cauderlier
--- a/base.ml
+++ b/base.ml
+
+let labels = ref []
+
--- a/base.mli
+++ b/base.mli
+
+val labels : (Parsetree.label list) ref
--- a/printer.mli
+++ b/printer.mli
+val declare_labels : Format.formatter -> Parsetree.label list -> unit
 val print : Format.formatter -> Typer.typed_tree -> unit