+(* '.' not allowed in path and foo
+ *
+ * Decl cic:/path/foo.decl
+ * Def cic:/path/foo.def
+ * Fix of int * int cic:/path/foo.fix(i,j)
+ * CoFix of int cic:/path/foo.cofix(i)
+ * Ind of int cic:/path/foo.ind(i)
+ * Constr of int * int cic:/path/foo.constr(i,j)
+ *)
+