The >− operation (informally called the “kill rules” in Rust) amounts to erasing ... the types are well formed in Γ2 ♮ F2 and Γ3 ♮ F3 respectively.
確定! 回上一頁