parameter.v 135 Bytes
Newer Older
1
2
3
4
5
Require Export barrier.heap_lang.
Require Import iris.parameter.

Definition Σ := IParamConst heap_lang unitRA.
Print Assumptions Σ.