bedrock.prelude.tactics.base_dbs
(*
* Copyright (C) BlueRock Security Inc. 2022
*
* This software is distributed under the terms of the BedRock Open-Source License.
* See the LICENSE-BedRock file in the repository root for details.
*)
* Copyright (C) BlueRock Security Inc. 2022
*
* This software is distributed under the terms of the BedRock Open-Source License.
* See the LICENSE-BedRock file in the repository root for details.
*)
(* br_opacity is a database for marking definitions opaque.
It is intended to be extended by users of Hint Opaque entries.
*)
Create HintDb br_opacity discriminated.
Create HintDb pure discriminated.