@set

Description:

public void @set (int index_, CoverageLevel level)

Modify a particular index within this

Parameters:

this

a `PangoCoverage`
index_

the index to modify
level

the new level for index_