I've just started reading the <LinCheck guide>. In...

# getting-started

[Klitos Kyriacou]

I've just started reading the LinCheck guide. In the example given don't understand how the checker knows what inc() and get() are supposed to return, so how can it check if the values are correct?