bolt/test/checker/mutual_recursion_is_odd_is_even.bolt

# Mutually recusive functions

let is_odd x.
  if x == 1.
    return True
  else.
    return is_even (x-1)

let is_even x.
  if x == 0.
    return True
  else.
    return is_odd (x-1)

@:Bool is_even 1