Example 1. ... If the input $x has type doc[b[c[]∗,a[]∗]] then this update has no effect; if $x : doc[a[],c[b[]∗]] then the output will always have type ...
確定! 回上一頁