- content/interpretations.ml and ng_cic_content/nTermCicContent.ml where

[helm.git] / matita / components / statuses.txt

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


applytransformation
    |
    |-> ntermciccontent = nciccoercion+interpretation
    |                       |
    |                    unif_hint
    |
    |-> termcontentpres