parameter.v 114 Bytes
Newer Older
1 2 3
Require Export barrier.heap_lang.
Require Import iris.parameter.

4
Definition Σ := iParam_const heap_lang unitRA.