bedrock.lang.cpp.logic.entailsN
(*
* Copyright (c) 2021 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.
*)
Require Export bedrock.lang.bi.entailsN.
Require Export bedrock.lang.base_logic.upred_entailsN.
Require Export bedrock.lang.bi.monpred_entailsN.
* Copyright (c) 2021 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.
*)
Require Export bedrock.lang.bi.entailsN.
Require Export bedrock.lang.base_logic.upred_entailsN.
Require Export bedrock.lang.bi.monpred_entailsN.