[ DestroysInstance ]
public Caps merge (owned Caps caps2)
Appends the structures contained in caps2 to this if they are not yet expressed by
this.
The structures in caps2 are not copied -- they are transferred to a writable copy of this
, and then caps2 is freed. If either caps is ANY, the resulting caps will be ANY.
| this |
the Caps that will take the new entries |
| caps2 |
the Caps to merge in |
|
the merged caps. |