Type Definition red::red_integer

source · 
pub type red_integer = red_value;