(* Test zur Aufgabe S-34 *)

match (((1,0),0),(0,1)) with
	((y,z),x) when match x with (0,_) -> false
							  | (_,0) -> false
							  | _     -> true  -> z
  | (x,(y,z)) when match x with (_,1) -> true
  							  | (_,0) -> false
  							  | _     -> false -> y
  | (x,y) when match x with (y,z) ->
  				   match y with (_,0) -> true
  				   			  | _	  -> false -> 0 ;;

(* EOF *)