We distinguish two kinds of strict annotation, namely, global and local ... in a type synonym definitions The meaning of these annotated synonym types can ...
確定! 回上一頁