// Dafny
// limbaj functional








// limbaj imperativ
method computeMax1(x : int, y : int) returns (r : int)

{
  if (x > y) {
    r := x;
  } else {
    r := y;
  }
}

method computeMax2(x : int, y : int) returns (r : int)

{
  if (x > y) {
    r := x;
  } else {
    r := y;
  }
}