Added is_closed.

[helm.git] / helm / ocaml / cic / cicUtil.mli

diff --git a/helm/ocaml/cic/cicUtil.mli b/helm/ocaml/cic/cicUtil.mli
index a2548f933026e528f30413882e1f24e876441ae7..7db463b7d4fe3ea7641cca7f775a96fa1813c985 100644 (file)
--- a/helm/ocaml/cic/cicUtil.mli
+++ b/helm/ocaml/cic/cicUtil.mli
@@ -26,3 +26,4 @@ exception Meta_not_found of int
 
 val lookup_meta: int -> Cic.metasenv -> Cic.conjecture
 
+val is_closed : Cic.term -> bool