我遇到了一种情况，我想忽略一些输入。
在我的转换操作中，我使用一个简单的 if-then-else 表达式来测试我希望为其生成输出标记的输入，并为我想忽略的输入生成一个“NOP”标记，因为您必须有一个类型正确的表达式满足 ML。
我尝试使用if this=that then 1`goodToken else 0`goodToken（带和不带括号），但这无法对操作的输出部分进行类型正确性检查。
这些令牌被传递到下一个地方，然后分支到其保护只允许 NOP 令牌的转换或不允许 NOP 令牌的转换。
通过这种方式，我生产和消费这些“无令牌”令牌。
是否有一种简单的方法可以在 ml 内或通过巧妙的弧形表达式来完成此操作，以便我可以简化我的网络？