Module `Data_race_checker.Update_identifier_capabilities`

val update_matching_identifier_caps_block_expr : Ast.Ast_types.Var_name.t list -> (Ast.Ast_types.capability list -> Ast.Ast_types.capability -> bool) -> Desugaring.Desugared_ast.block_expr -> Desugaring.Desugared_ast.block_expr