-grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion)
- |--> dumpable | |
- |--> nciclibrary | unif_hint
- |--> grafiteparser -> lexicon -> ... |
- |-> interpretation
- |-> termcontentpres
- |-> notation_parser
+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