>>57
> 網羅性の判別についてif_then_elseだと分かり難い気がする。

elseがあれば形式上は必ず網羅してることになるって理解してない?