multiple bindings inside OPT supported

[helm.git] / helm / ocaml / cic_notation / cicNotationParser.mli

diff --git a/helm/ocaml/cic_notation/cicNotationParser.mli b/helm/ocaml/cic_notation/cicNotationParser.mli
index 32ba0a318acff4c93b0692cd7cecc598149ac6df..ef6aa482c30fe8633a7057673253a9fd1b2f00f9 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationParser.mli
+++ b/helm/ocaml/cic_notation/cicNotationParser.mli
@@ -55,6 +55,8 @@ val delete: rule_id -> unit
 (** {2 Debugging} *)
 
 val pp_env: env_type -> string
+val pp_value: CicNotationPt.value -> string
+val pp_value_type: CicNotationPt.value_type -> string
 
   (** print "level2_pattern" entry on stdout, flushing afterwards *)
 val print_l2_pattern: unit -> unit