Closed yoshihiro503 closed 5 years ago
sup (TyFun a b) (TyFun s t) should be (TyFun (a|s) (b|t)).
sup (TyFun a b) (TyFun s t)
(TyFun (a|s) (b|t))
sup (TyFun a b) (TyFun s t)
should be(TyFun (a|s) (b|t))
.