aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3753.v
blob: 5bfbee9494bedfba911447c5126c70048248bc7b (plain)
1
2
3
4
Axiom foo : Type -> Type.
Axiom bar : forall (T : Type), T -> foo T.
Arguments bar A x : rename.
About bar.