"変数は...このパターンの両側に現れなければなりません"

Question

OCamlにいくつかのコードを入力していたので、私は一度に2つのケースをマッチさせたいと思いました。（私が書いている関数は可換ですから）

type something = 
    | Two of int * int 
    | One of int 

let my_function p q = 
    match p, q with 
    | Two (_, _) as two, One (x) 
    | One (x), Two (_, _) as two -> (* some value *) 
    | _ -> (* some other value *) 
;; 

私は次のエラーを取得しています：

Error: Variable two must occur on both sides of this | pattern 

私はasステートメントを削除し、私はロジックの目的のためにそれを必要とするときに問題が発生しません。なぜ私はこれのようにすることができないのですか？ロジックを2回書き直すことに頼らなければならないのですか？

Answer 1

asは、,より低い優先度を持ちます。したがって、かっこはTwo (_,_) as twoのまわりに入れてください。