10 A semantic model of λRust types in Iris ... a = a · a, owning a is equivalent to owning multiple copies of a—in this.
確定! 回上一頁