Q# Counter and Theme Toggle - With Decrement - Qsharp Typing CST Test