Constant red::RedType_RED_TYPE_REFINEMENT

source · 
pub const RedType_RED_TYPE_REFINEMENT: RedType = 19;