type-inference public under data-processing 137, type-system 6 List Picture As a command Nothing is filed under type-inference.