BBv2でテストしていたところ、ルールの引数に型チェックの機能があることを知りました。 class.jamのテストを参考に名前と書式から想像して、 import "class" : new ; class class_a { rule __init__ { } } class class_b { rule __init__ { } } # class_aの…