Example 1 Suppose bool, int and string are basic types. ... every value v of [[t]] and every class name c of the schema S, the set ref(v : t, c) is defined ...
確定! 回上一頁