init.g

# SPDX-License-Identifier: GPL-2.0-or-later
# Locales: Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
#
# Reading the declaration part of the package.
#

ReadPackage( "Locales", "gap/Proset.gd");
ReadPackage( "Locales", "gap/ProsetMethodRecordDeclarations.autogen.gd");

ReadPackage( "Locales", "gap/Poset.gd");
ReadPackage( "Locales", "gap/PosetMethodRecordDeclarations.autogen.gd");

ReadPackage( "Locales", "gap/Lattice.gd");

ReadPackage( "Locales", "gap/HeytingAlgebra.gd");
ReadPackage( "Locales", "gap/CoHeytingAlgebra.gd");

ReadPackage( "Locales", "gap/HeytingAlgebraMethodRecordDeclarations.autogen.gd");
ReadPackage( "Locales", "gap/CoHeytingAlgebraMethodRecordDeclarations.autogen.gd");

ReadPackage( "Locales", "gap/BooleanAlgebra.gd");
ReadPackage( "Locales", "gap/BooleanAlgebraMethodRecordDeclarations.autogen.gd");

ReadPackage( "Locales", "gap/Tools.gd");

ReadPackage( "Locales", "gap/ProsetOfCategory.gd");

ReadPackage( "Locales", "gap/Differences.gd");
ReadPackage( "Locales", "gap/SingleDifferences.gd");
ReadPackage( "Locales", "gap/MultipleDifferences.gd");

ReadPackage( "Locales", "gap/ConstructibleObjects.gd");
ReadPackage( "Locales", "gap/ConstructibleObjectsAsUnionOfSingleDifferences.gd");
ReadPackage( "Locales", "gap/ConstructibleObjectsAsUnionOfMultipleDifferences.gd");

ReadPackage( "Locales", "gap/IntervalCategory.gd");

ReadPackage( "Locales", "gap/ProsetAsCategory.gd");

ReadPackage( "Locales", "gap/ToolsUsingDigraphs.gd");