... as long as the typing of the field is the same in all cases after type synonym expansion . A label cannot be shared by more than one type in scope .
確定! 回上一頁