bedrock.lang.algebra.base
(*
* Copyright (C) 2024 BlueRock Security, Inc.
*
* This software is distributed under the terms of the BedRock Open-Source License.
* See the LICENSE-BedRock file in the repository root for details.
*)
(* This exports basic facilities for defining CMRAs *)
Require Export iris.algebra.cmra.
Require Export iris.algebra.updates.
Require Export iris.algebra.local_updates.
Require Export iris.algebra.excl.
Require Export iris.algebra.auth.
* Copyright (C) 2024 BlueRock Security, Inc.
*
* This software is distributed under the terms of the BedRock Open-Source License.
* See the LICENSE-BedRock file in the repository root for details.
*)
(* This exports basic facilities for defining CMRAs *)
Require Export iris.algebra.cmra.
Require Export iris.algebra.updates.
Require Export iris.algebra.local_updates.
Require Export iris.algebra.excl.
Require Export iris.algebra.auth.