-grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion)
- |--> dumpable | |
- |--> nciclibrary | unif_hint
- |
- interpretation + termcontentpres + notation_parser= cicnotation
-
+grafitetypes
+ |--> dumpable
+ |--> nciclibrary
+ |--> grafiteparser -----
+ |--> tac |
+ |--> auto |
+ |--> eq |
+ |-------------> lexicon
+ |--> notation_parser
+ |--> interpretation
+ | |--> nciccoercion --> unif_hint
+ |--> termcontentpres
-
-
-
-ntermciccontent = nciccoercion+interpretation
- |
- unif_hint
-
-applytransformation = ntermciccontent+termcontentpres
+applytransformation
+ |
+ |-> interpretation -> nciccoercion
+ | |
+ | unif_hint
+ |
+ |-> termcontentpres