我遇到过一种情况，我想忽略一些输入。
在我的转换操作中，我使用一个简单的if-then-else表达式来测试我希望产生输出令牌的输入，并生成一个＆＃34; NOP＆＃34;对于那些我想忽略的标记，因为你必须有一个类型正确的表达式来满足ML。
我尝试使用if this=that then 1`goodToken else 0`goodToken（括号和不带括号），但这不能对操作的输出部分进行类型正确性检查。
这些令牌传递到下一个位置，然后分支到转换，其防护仅允许NOP令牌或转换为不允许NOP令牌的转换。
通过这种方式，我生产和消费这些＆＃34;没有令牌＆＃34;令牌。
有没有一种简单的方法可以在ml内或通过巧妙的弧形表达来实现这一点，这样我就可以简化我的网络了？