>>118
matchを使う理由がよく分かりませんが、以下のように書けます。

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