形式的なInterface

引数の名前や型

返り値の型

例外が、上記で言う形式的か非形式的かは言語機能などに依る

例えばKokaなら形式的に表現できる