A simple counter (cont.)
nA simple counter
uClass:Counter
uQueries (Properties):
u count (A non-negative integer)
uCommands:
u reset (sets count value to 0)
u step_count (increments the count by 1)
u
u