小编tsg*_*gzj的帖子

我有一个函数,有点像assoc,搜索列表中的符号并返回列表中的任一个#f或位置.

这个函数的返回类型应该是工会#f和Natural,(U #f Natural).

但是当我想将该值用作数字时,它总是会输入不匹配,因为该值不仅仅是自然值,而且实际上是一个联合.

如何将Natural值拉出并避免类型不匹配错误？