X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=components%2Fcic%2FcicInspect.mli;h=e7ee2ed8dd72adcef986ecf401336a57cf981907;hb=241dd3fc882e24a1d3a386a9c612aa8fc720abdb;hp=c4bcd8aaf060a8e54216e9faf68455f3aa2a6d79;hpb=72dae1a44bbed06ff9daeadf53671e109a1b882f;p=helm.git

diff --git a/components/cic/cicInspect.mli b/components/cic/cicInspect.mli
index c4bcd8aaf..e7ee2ed8d 100644
--- a/components/cic/cicInspect.mli
+++ b/components/cic/cicInspect.mli
@@ -30,3 +30,6 @@ val overlaps: S.t -> S.t -> bool
 val get_rels_from_premise: int -> Cic.term -> S.t
 
 val get_mutinds_of_uri: UriManager.uri -> Cic.term -> S.t
+
+(* count_nodes n t returns n + the number of nodes in t *)
+val count_nodes: int -> Cic.term -> int