6 lines
82 B
Coq
6 lines
82 B
Coq
|
|
fn print_all(things ...string) {
|
||
|
|
for x in things {
|
||
|
|
println(x)
|
||
|
|
}
|
||
|
|
}
|