7 lines
56 B
Coq
7 lines
56 B
Coq
|
module main
|
||
|
|
|
||
|
|
struct Score {
|
||
|
|
player string
|
||
|
|
score int
|
||
|
|
}
|