1 line
59 B
Coq
1 line
59 B
Coq
Definition build_list {A: Set} := build_list_aux (@nil A).
|
Definition build_list {A: Set} := build_list_aux (@nil A).
|