bug_9663.v « closed « bugs « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/bugs/closed/bug_9663.v

blob: b5fa6012781db0d68887eafccf2a3f8042baa221 (plain)

1
2

Definition id_depfn S T (f : forall x : S, T x) := f.
Definition idn : nat -> nat := @id_depfn _ _ (fun x => x).