type-inference public under data-processing 137, type-system 6 List Picture As a command %3 n0 type-inference n1 data-processing n1->n0 n2 type-system n2->n0