IntroJS のトップレベルにかけるのは、今のところ関数定義のみです。 モジュールのインポートや、グローパル変数などは、まだサポートしていません。 IntroJS の関数定義では、仮引数や戻り値にデータ型の指定が必ず必要になります。 def func(v: Int, vv: I…