15 lines
144 B
Coq
15 lines
144 B
Coq
|
namespace structures;
|
||
|
|
|
||
|
|
member alive;
|
||
|
|
member age;
|
||
|
|
|
||
|
|
required link land;
|
||
|
|
|
||
|
|
restore {
|
||
|
|
alive ??= true;
|
||
|
|
age ??= 0;
|
||
|
|
}
|
||
|
|
|
||
|
|
tick (days) {
|
||
|
|
|
||
|
|
}
|