pub const ResolutionType_UndefinedResolution: ResolutionType = 0;