cicUtil : new test function "is_sober" to test the integrity of a term

[helm.git] / components / acic_procedural / proceduralHelpers.ml

diff --git a/components/acic_procedural/proceduralHelpers.ml b/components/acic_procedural/proceduralHelpers.ml
index 94ef413c1042207a4058f6429e7cc02e4c8f4e72..bfffb11ba21ab846bb26a51d46f891246d7ff0e6 100644 (file)
--- a/components/acic_procedural/proceduralHelpers.ml
+++ b/components/acic_procedural/proceduralHelpers.ml
@@ -106,6 +106,10 @@ let is_proof c t =
       | C.Sort _      -> false
       | _             -> assert false 
 
+let is_sort = function
+   | C.Sort _ -> true
+   | _        -> false 
+
 let is_unsafe h (c, t) = true
 
 let is_not_atomic = function