X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Flexicon%2FcicNotation.mli;h=aa500f37115c6287d6269a85763172a9d2c6ca4f;hb=10d33a8c1be31d0c7aeccee8968fd5218ca2510a;hp=085feda0dee3d435da4c49f8ec614755bad58498;hpb=e63af7cac81040c1769855da41d0782c87701945;p=helm.git

diff --git a/matita/components/lexicon/cicNotation.mli b/matita/components/lexicon/cicNotation.mli
index 085feda0d..aa500f371 100644
--- a/matita/components/lexicon/cicNotation.mli
+++ b/matita/components/lexicon/cicNotation.mli
@@ -25,11 +25,23 @@
 
 type notation_id
 
+class type g_status =
+ object ('self)
+  inherit Interpretations.g_status
+  inherit TermContentPres.g_status
+ end
+
+class status :
+ object ('self)
+  inherit Interpretations.status
+  inherit TermContentPres.status
+  method set_notation_status: #g_status -> 'self
+ end
+
 val compare_notation_id : notation_id -> notation_id -> int
 
 val process_notation:
- #Interpretations.status as 'status -> LexiconAst.command
-  -> 'status * notation_id list
+ #status as 'status -> LexiconAst.command -> 'status * notation_id list
 
 val remove_notation: notation_id -> unit