snapshort

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

diff --git a/helm/ocaml/cic_notation/cicNotationUtil.mli b/helm/ocaml/cic_notation/cicNotationUtil.mli
index 92eaf8e8b5857003ebd127506a6f30d1373afd68..760d95ae923410a1bb70302e49cadccfbb866ea6 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationUtil.mli
+++ b/helm/ocaml/cic_notation/cicNotationUtil.mli
@@ -41,3 +41,8 @@ val visit_layout:
 
 val strip_attributes: CicNotationPt.term -> CicNotationPt.term
 
+  (** generalization of List.combine to n lists *)
+val ncombine: 'a list list -> 'a list list
+
+val string_of_literal: CicNotationPt.literal -> string
+