パターンマッチで質問です。

let test n m =
match m with
n -> 0
| _ -> 1;;

こんな感じにすると3行目のnというのが1行目で引数に与えるnと
違うnとしてマッチしてしまう(どんなmでも3行目でマッチしてしまう)
ようなのですが、これを何とか同じnとして認識させる方法はないでしょうか?