CicInspect: a function for counting the nodes of a term has been activated

[helm.git] / components / acic_procedural / proceduralTypes.mli

diff --git a/components/acic_procedural/proceduralTypes.mli b/components/acic_procedural/proceduralTypes.mli
index cc5d75caf2918cec3f10beffe680905441b135eb..c493873ff2b0fd736c56d5fc26082f9acb811b48 100644 (file)
--- a/components/acic_procedural/proceduralTypes.mli
+++ b/components/acic_procedural/proceduralTypes.mli
@@ -66,3 +66,6 @@ val render_steps:
 
 val count_steps:
    int -> step list -> int
+
+val count_nodes:
+   int -> step list -> int