Require Export barrier.heap_lang.
Require Import iris.parameter.

Definition Σ := iParam_const heap_lang unitRA.