Finite types are relevant to sets ( spec-Sets ) and array indices ... It also clearly documents which variables are parameters, and allows more precise ...
確定! 回上一頁