Merge pull request #119 from zickgraf/master

Add an additional type signature

Author: mohamed-barakat

PackageInfo.g

@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 
 PackageName := "Locales",
 Subtitle := "Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets",
-Version := "2023.01-01",
+Version := "2023.01-02",
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",

gap/HeytingAlgebra.gd

@@ -91,6 +91,13 @@ DeclareOperation( "MorphismToDoubleNegationWithGivenDoubleNegation",
 DeclareOperation( "StableInternalHom",
         [ IsCapCategoryObject, IsCapCategoryObject ] );
 
+CapJitAddTypeSignature( "StableInternalHom", [ IsCapCategory, IsObjectInThinCategory, IsObjectInThinCategory ],
+  function ( input_types )
+    
+    return CapJitDataTypeOfObjectOfCategory( input_types[1].category );
+    
+end );
+
 # @Section Tools
 
 DeclareGlobalVariable( "HEYTING_ALGEBRA_METHOD_NAME_RECORD" );