Catyの諸々の定義やプログラムは、モジュールで構成される。そのモジュールを可視化すると、疑問符（'?'）やグレーの図形が表示されることがある。このモジュールのソースは次。 /** * 不完全なモジュール */ module tt in cara;/** 型の定義は後でする（def…