(* Your task is to implement this. *)
signature ADDER =
sig
    val add : (int * int) -> int
end