core.typed has a special function type, which is an ordered intersection of arities. It allows us to specify fine grained function invariants.
確定! 回上一頁