// // WebGL IDL definitions scraped from the Khronos specification: // https://www.khronos.org/registry/webgl/specs/latest/#5.9 // interface WebGLTexture : WebGLObject { };