namespace OpenTK.Graphics.ES31 { public enum ErrorCode }
The selected framework does not have platform annotations.