[This is preliminary documentation and is subject to change.]
public RibWidth EffectiveWidth { get; set; }