言を取得します UNION -データ型と型aの変 [...] TYPE A_UNION: UNION [...] aunionVar: A_UNION; li

; e := a+b; 仮定: 計算 [...] 1 : INT VAR_INPUT a,b [...] 1 : INT VAR_INPUT a,b