test-suite/bugs/closed/bug_12763.v


1
2
3
4
5
6

Inductive bool_list := S (y : bool) (l : bool_list) | O.
Scheme Equality for bool_list.

Set Mangle Names.
Scheme Equality for nat.
Scheme Equality for list.