solve (or P; w : As A', Q) = match As A" with | O U 6 s O' U 6' – if Oż () then ... Os O' – if OC O' then let o' = [O U Woo/w) in solve(a' a P, Q) else fail ...
確定！ 回上一頁
