greenwasm_validation::validate
pub fn global_type(c: &Ctx, global_type: &GlobalType) -> VResult<Valid>