bedrock.prelude.prelude
(*
* Copyright (C) BedRock Systems Inc. 2021
*
* 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) BedRock Systems Inc. 2021
*
* This software is distributed under the terms of the BedRock Open-Source License.
* See the LICENSE-BedRock file in the repository root for details.
*)
Small extensions to stdpp.
Require Export bedrock.prelude.base.
Require Export bedrock.prelude.fin.
Require Export bedrock.prelude.numbers.
Require Export bedrock.prelude.sets.
Require Export bedrock.prelude.fin_sets.
Require Export bedrock.prelude.list.
Require Export bedrock.prelude.list_numbers.
Require Export bedrock.prelude.fin.
Require Export bedrock.prelude.numbers.
Require Export bedrock.prelude.sets.
Require Export bedrock.prelude.fin_sets.
Require Export bedrock.prelude.list.
Require Export bedrock.prelude.list_numbers.