进口 软糖

主要的 = 胡言乱语(外壳F “向上/向下/重置计数器” 计数器F)计数器F = 内部显示F >==< 映射状态F 计数 0 >==< 按钮F

数据 按钮 = 向上 | 向下 | 重置  衍生(等式)按钮F = 列表F[(向上,按钮F “向上”),(向下,按钮F “向下”),(重置,按钮F “重置”)]计数 n个(向上,点击)=(n个+1,[n个+1])计数 n个(向下,点击)=(n个-1,[n个-1])计数 n个(重置,点击)=(0,[0])