/ usr / lib / python3 / dist-packages / mypy / [ HOME SHELL ] 
Name Size Permission Action
  __pycache__ [ DIR ] drwxr-xr-x  
  newsemanal [ DIR ] drwxr-xr-x  
  plugins [ DIR ] drwxr-xr-x  
  server [ DIR ] drwxr-xr-x  
  test [ DIR ] drwxr-xr-x  
  typeshed [ DIR ] drwxr-xr-x  
  xml [ DIR ] drwxr-xr-x  
  __init__.py 37 B -rw-r--r--   
  __main__.py 161 B -rw-r--r--   
  api.py 2.21 KB -rw-r--r--   
  applytype.py 3.5 KB -rw-r--r--   
  argmap.py 9.06 KB -rw-r--r--   
  binder.py 15.89 KB -rw-r--r--   
  bogus_type.py 795 B