Quelle  bug_14815.out   Sprache: unbekannt

f =
fix f (n : nat) : nat :=
  match n with
  | 0 => 0
  | S n0 => g n0
  end
with g (n : nat) : nat :=
  match n with
  | 0 => 0
  | S n0 => f n0
  end
for
f
     : nat -> nat

Arguments f n%_nat_scope