Recursive call in Ocaml

Question

I am trying to implement a recursive call in Ocaml, using the next code :

| Add (x,y) -> 
  begin 
    match x, y with
        | x, Bra y ->  Bra (Implies(x