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