X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FproceduralTypes.ml;h=95fdc6e562d6c8e281c937509dd8b57d57431ab9;hb=285c01590113e2506c8b229458f4c99d3c7fc6a1;hp=b7f6d3c6b68b2baf49909f448e86c5aa2f83e3e4;hpb=664ce15981e66bc897f31963b2f9f2f1e3d11470;p=helm.git

diff --git a/helm/software/components/content_pres/proceduralTypes.ml b/helm/software/components/content_pres/proceduralTypes.ml
index b7f6d3c6b..95fdc6e56 100644
--- a/helm/software/components/content_pres/proceduralTypes.ml
+++ b/helm/software/components/content_pres/proceduralTypes.ml
@@ -55,6 +55,17 @@ let list_rev_map_concat map sep a l =
    in
    aux a l
 
+let is_atomic = function
+   | C.ASort _
+   | C.AConst _
+   | C.AMutInd _
+   | C.AMutConstruct _
+   | C.AVar _
+   | C.ARel _
+   | C.AMeta _
+   | C.AImplicit _     -> true
+   | _                 -> false
+
 (****************************************************************************)
 
 type name  = string