2 lines
59 B
Text
2 lines
59 B
Text
|
Definition build_list {A: Set} := build_list_aux (@nil A).
|