type-class public under type-system 6 List Picture As a command %3 n0 type-class n1 type-system n1->n0