Constant GPIO_PinState_GPIO_PIN_SET 

pub const GPIO_PinState_GPIO_PIN_SET: GPIO_PinState = 1;