6 lines
91 B
Coq
6 lines
91 B
Coq
// Enums can have methods
|
|
mut c := Cycle.one
|
|
for _ in 0 .. 5 {
|
|
println(c)
|
|
c = c.next()
|
|
}
|