Web IDL |= []| syntax