Sml 从alpha到int的函数

所以我有一个函数，我想写：

fn (x:'a) => ???
(type: 'a -> int)

我试过这样做：

fn (x:'a) => (x:int)

但很明显，这会返回一个匹配约束错误。那么我有什么办法可以做这件事吗

==编辑===

有没有办法“反转”功能？我的意思是具有以下类型的功能：

int -> 'a

---

只需返回您选择的任意整数。@AaditMShah是否有方法反转该函数？比如从int到a？是的，有。要么进入无限循环，要么抛出错误。@AaditMShah在不使用异常的情况下，我该怎么做呢？试试fun g x:int=let val y=f x in y，y。