说明:HMRow统一
用法
using HMRowUnification
tctx = HMT[]
st = mk_tcstate (tctx);
tvar1 = st . new_tvar ()
tvar2 = st . new_tvar ()
int_t = Nom ( :int )
# int -> int ~ 'tvar1 -> 'tvar2
# =>
# 'tvar1 = int
# 'tvar2 = int
st . unify ( Arrow (int_t, int_t
<weixin_42106299> 上传 | 大小:35kb