“??”是什么意思?标准 ML 中的平均值

What does "??" mean in standard ML

我正在查看这个 ML 代码,我看到了这个语句

fun doSomething (a, b) = 
    if a < b then ?? else ?? ;

“??”是什么意思?在这种情况下是什么意思?

从逻辑上讲,then语句等于else语句。难道是简单地忘记了完成语句和临时放置 ?? 的? operators 的 None 似乎代表了你要找的东西。