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