aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/params_ind.v
blob: 1bee31c8a382063c261e71fef9967a51c5d79126 (plain)
1
2
3
4
Inductive list (A : Set) : Set :=
  | nil : list A
  | cons : A -> list (A -> A) -> list A.