public KernelConfigurationKey this[
	int index
] { get; set; }

public:
property KernelConfigurationKey^ default[int index] {
	KernelConfigurationKey^ get (int index);
	void set (int index, KernelConfigurationKey^ value);
}