Module Data_race_checker.Aggregate_capability_accesses
val aggregate_capability_accesses_expr : Desugaring.Desugared_ast.class_defn list -> Desugaring.Desugared_ast.function_defn list -> Desugaring.Desugared_ast.expr -> Desugaring.Desugared_ast.expr * Desugaring.Desugared_ast.obj_var_and_capabilities listval aggregate_capability_accesses_block_expr : Desugaring.Desugared_ast.class_defn list -> Desugaring.Desugared_ast.function_defn list -> Desugaring.Desugared_ast.block_expr -> Desugaring.Desugared_ast.block_expr * Desugaring.Desugared_ast.obj_var_and_capabilities list