tcra.exercises.stack_reasoning_private

Classes  StackClearContract StackLengthContract StackPopContract StackPostClearAssertion StackPostLengthAssertion StackPostPopAssertion StackPostPushAssertion StackPostTopAssertion StackPushContract StackTopContract