9 lines
80 B
Coq
9 lines
80 B
Coq
|
member count;
|
||
|
|
|
||
|
|
increment() {
|
||
|
|
count ++;
|
||
|
|
}
|
||
|
|
|
||
|
|
getCount() {
|
||
|
|
return count;
|
||
|
|
}
|