Could we add the terms existential/existential value, existential type and protocol type mentioned in the proposal to the type spec?
Could we add the terms existential/existential value, existential type and protocol type mentioned in the proposal to the type spec?