///|
#external
type WebGL2RenderingContext