Index

Skipped feature combinations by plug feature NatSet

Id Case Feature Plug Feature Skip Reason
dc68c928df674e694f9276630492c1ceac88071d OneLineComment NatSet TypeMismatch
f275d25ea7c3274e94304e9c07286532a801b61f OneLineComment NatSet TypeMismatch
0d130c3d95d889977ae6fcd50f83f9915b56ea09 MultiLineComment NatSet TypeMismatch
63f36eb550ce590cdf57e78fcb29f3a9126924b4 MultiLineComment NatSet TypeMismatch
95c2b17ce58a1619d66d8eed1aa0e4251e28a7a8 BoolTrue NatSet TypeMismatch
fa740fa7501b06ee8d46a0409c9493ee249892ed BoolTrue NatSet TypeMismatch
69cb3e35ad02a8c2d09bc1307f4be60feed0bf97 BoolFalse NatSet TypeMismatch
6ed7d0fa7d9b4c80dddb277d7579b672abae1194 BoolFalse NatSet TypeMismatch
1b10e0d52fdaa15e74503ab6ea2d160eb8c8df9e BoolSet NatSet TypeMismatch
400aee885a7a2811fc8ad86040715417507e5ca9 BoolSet NatSet TypeMismatch
9169e5027870277059f4606bda2683579d0cfa9f And NatSet TypeMismatch
d7ec9ffacfe481e076472caa4f3d9a92f6343995 And NatSet TypeMismatch
bf8990a7d988858b083ae88d9296b7b14db609cc AndMultiLine NatSet TypeMismatch
1b407e6b2267ae843c673d6dcd9cc52b0b78b740 AndMultiLine NatSet TypeMismatch
8aad60ed499a67adfc05021b508a2ae6954695d4 Imply NatSet TypeMismatch
29e8d3dd10e21c117b30cbdf7b9144777379096d Imply NatSet TypeMismatch
195be6b13f69724ce46032adbfa5d83214b473f8 Not NatSet TypeMismatch
ce74f4945a6da51842fd54274e23db66457f1e89 Not NatSet TypeMismatch
1d3ba27aace8da18a8fcf30a821ae2653f5bdec5 Or NatSet TypeMismatch
43ee293ef4b6e9839f32f5bfc10f3830ed41fb94 Or NatSet TypeMismatch
50fb75e37de11aa271f932392cab9240ec221249 OrMultiLine NatSet TypeMismatch
e9a151e9099e7b3f38d88eb3b2a0c3660263bb75 OrMultiLine NatSet TypeMismatch
3cea0645a9cb6e4394b805b0f24e85a8fd2fa605 AndProp NatSet TypeMismatch
bcf0b9ba89802da4c1be148df953fcd047124822 AndProp NatSet TypeMismatch
d14453b98fccfe23898ab1111eb2804150f3bd02 Boxed NatSet TypeMismatch
00eddce9af1787ef6dd933c489b36f3839ccbb7a Boxed NatSet TypeMismatch
b7f25316821274e5a33a021c446201c05490cbd8 Eq NatSet TypeMismatch
af84d72d2122cab729e2421dc00981f266732158 Eq NatSet TypeMismatch
fda8709cb1233c75511d08e44d77b299fcbb4451 Ne NatSet TypeMismatch
490e3cb1c9beedeb6096985dff140539ce24e004 Ne NatSet TypeMismatch
73c97de38721833e3de8f63f1bacea0420c13374 Let NatSet TypeMismatch
aa5d009cf8eb4af19d1d41da1fbbad4fec4b4583 Let NatSet TypeMismatch
74d819639650fc811708da002a0861696056c357 SetEmpty NatSet TypeMismatch
acc5cbc8bfccb4917b009ed4c5fab327351465ba SetEmpty NatSet TypeMismatch
40ba047b794aa45b7df9d9d51ea8bd078861008d Set0 NatSet TypeMismatch
664931a8912ad6c7dccc690fb2c3b78dafa6fe9a Set0 NatSet TypeMismatch
e8ae60274d9ed2bf49164f5be75386bd57e31a94 Set1 NatSet TypeMismatch
65f66f89e35c9672e06947b94a5aea94bd1893d8 Set1 NatSet TypeMismatch
b4517b5078428fc3f58f7ab16cfb4a5b2e937694 Set2 NatSet TypeMismatch
ae5220cba8479aeafaf585a0768012592095bb6f Set2 NatSet TypeMismatch
b9589db118407d914eabfa313e068d84042756cd Set1InDef NatSet TypeMismatch
133135fee0ca581b2a7b201a89f58fa031382335 Set1InDef NatSet TypeMismatch
f5bc070752e258e5ba9199b1a8069d75097aae0d Set2InDef NatSet TypeMismatch
5edfe4bd6caddab678d35d0683df5a20ac1a68dd Set2InDef NatSet TypeMismatch
d2bc447f04e452957d94f32f17b3facf161013f4 InDef0 NatSet TypeMismatch
a052b353fe4b059cd4e24c662b9e375ff8ab1c17 InDef0 NatSet TypeMismatch
2f2f443536c6f6658c7855313e68f645239b073b InDef1 NatSet TypeMismatch
2fdf878e85d64ff18ed9fdb1a369ff9edeb4aaad InDef1 NatSet TypeMismatch
7db7261d1a55df488c640c8a7e8dc2319944affb InDef2 NatSet TypeMismatch
728c885d579d097aaea3d6e48a2be334333c13ac InDef2 NatSet TypeMismatch
24fb381411d5f077b658fa34c35a4234a6cc18ca Fun NatSet TypeMismatch
92a737a9945e6683114410461fa5595e4066010f Fun NatSet TypeMismatch
b68484942154b481b187204a4c2f834dd2f77ad7 FunInDef NatSet TypeMismatch
c586995e121a17ba8db39f599bfffaafed094b5a FunInDef NatSet TypeMismatch
d3550ea75feb5eee7e9d5cbbf8ca46bea2e1a63b Exists NatSet TypeMismatch
c435518bccab7801021c619a345ae40e37143c8f Exists NatSet TypeMismatch
505b671f59a9692b2a704f7490648d9029f0f3a4 Forall NatSet TypeMismatch
2914090ca59e3be7297d0184141071a39b73c993 Forall NatSet TypeMismatch
72cf8e3e71cb2cbdf3ddc321c08a44f77a92f576 ExistsInDef NatSet TypeMismatch
e7b5dcfcc815740353096a20928a4652b517211d ExistsInDef NatSet TypeMismatch
d804cd03c416eacc0f801c6bede6dca85f399823 ForallInDef NatSet TypeMismatch
ffa4b881f4c66e99a8c60a8f70506d4935b46e7f ForallInDef NatSet TypeMismatch
12193b905b647f57b2ddb01e6d240f99478ff0e0 Choose NatSet TypeMismatch
b89023c9d3ee81d305217a65ea73ed5a597959c4 Choose NatSet TypeMismatch
6035a332ac0d83e6638908bbb11c9c3dfccbf612 ChooseInDef NatSet TypeMismatch
5e72de016eabb48c09d6b6f98fc7a41466d9049b ChooseInDef NatSet TypeMismatch
7f23b3e96e88fc65851ca7926eea4990fc1175df Record NatSet TypeMismatch
ab76e2c8fdef8ffaa9173ff3334b9fb120e0686e Record NatSet TypeMismatch
909d8b5fe014b99b07ac29001907942af953ac9a Tuple NatSet TypeMismatch
356be9eb1aba8648bf25aecb62d209699461322c Tuple NatSet TypeMismatch
aebe23695ac570a244b493bff5cd1941916efbf7 TupleEmpty NatSet TypeMismatch
c32d6b644d83e464adb8815b6d875be8e1026d4c TupleEmpty NatSet TypeMismatch
0b55220af94bf3cfe6d7d678150b971fc8fa970f FunApp NatSet TypeMismatch
e99c3d33e3366012fb73fb0311e869bf7cf06905 FunApp NatSet TypeMismatch
7bcfd10a473445f3d92a598f6c66b8c751777d91 Except0 NatSet TypeMismatch
c89e5baa1a4dfadcf63cdeb3c6b8d222aa4159a3 Except0 NatSet TypeMismatch
8e6c7c4344e86e777a0545db1bc3d5b34f572827 Except1Fun NatSet TypeMismatch
4c8688e531a797c5de9a61a0b0aa62ea0234959d Except1Fun NatSet TypeMismatch
94c3b7fadb2867a2753a0a310ff65aa1db40d43e Except1FunWithAt NatSet TypeMismatch
bdfee85bfdbe96da7f24df1d3ea95f19be6e198d Except1FunWithAt NatSet TypeMismatch
cfe1be7426153e5128f03017b202bf8d03862e0b Except1Rec NatSet TypeMismatch
76be75c78a215a281912a06c686ff880200fa269 Except1Rec NatSet TypeMismatch
2fd8d2f27f114df6a2b0bad7e723b4d41a449c34 Except1RecWithAt NatSet TypeMismatch
84d01b42091e3cd6ca608acfaf1f9a9835ad493b Except1RecWithAt NatSet TypeMismatch
28beead9112537869b22abd0788684fb4213e6e5 Except2Fun NatSet TypeMismatch
a24e00068a507b8a4473453e6eea6a8332cf12e9 Except2Fun NatSet TypeMismatch
5e04462ab20e5145a17fa3330f812d35552afaa7 Except2FunTuple NatSet TypeMismatch
e609f2156efcef550ceae9604121e37292c43f21 Except2FunTuple NatSet TypeMismatch
81e60348c9cdaaba400789b20e0e4332432c5d0a Prime NatSet TypeMismatch
418de9bb8f854e855b7fda155ea512ef6fde8677 Prime NatSet TypeMismatch
7a106a2f8d182eefb2462f584ff0b3fed548bb40 NumZero NatSet TypeMismatch
f110daa83a247e6cf4e97a18e31af15856329764 NumZero NatSet TypeMismatch
4bfb7b938ab4b4e0ac3468fa8d408df44f4e7c6d NumOne NatSet TypeMismatch
feb1de536526f01515603325fbaadeb3f9c19400 NumOne NatSet TypeMismatch
2d8e75307b96604f2206a8587e26f979e7c272c6 NumMaxInt NatSet TypeMismatch
8dc0ffbb19ae3c027f67cae4efe1b50118f9244b NumMaxInt NatSet TypeMismatch
f68a1cdfbb91f697b7dd29f1eee6424773f714ea NumUnaryMinus NatSet TypeMismatch
4af51f9646e8b9964828b36b13c765ccf8979d97 NumUnaryMinus NatSet TypeMismatch
a8b055921a10585a7e30d739e998c4f6d4405c5c NumPlus NatSet TypeMismatch
20ab994eb969a52635407364107da2f72d74a956 NumPlus NatSet TypeMismatch
a8974172eaa64f1338cbf6fcf899c76941ee2fce NumMinus NatSet TypeMismatch
51bc5664e25514636e2ed566f8eafe8c94b16072 NumMinus NatSet TypeMismatch
308636770d9296605f65e6e275361c39fbe02e94 NumMul NatSet TypeMismatch
04b4e5647cef82dc778906af790c458e25576ccb NumMul NatSet TypeMismatch
3f0fe1bf5e9f014ef3b1a084f48f9ce531647674 NumDiv NatSet TypeMismatch
b4a7c6d3cfec27dcb762a692c7d2717e6a1de20a NumDiv NatSet TypeMismatch
409fbb71be28a39b5a24f83632788d84abea163f NumMod NatSet TypeMismatch
2eb6e145e96f1b5b74a99e97054dd8fa33b97623 NumMod NatSet TypeMismatch
0e6a0bd6c5bc6b4bb22c7ed98800b2317f346a9b NumPow NatSet TypeMismatch
1639dfae3f91f06b81164e337a55581d62028169 NumPow NatSet TypeMismatch
f9ebd10aa3c7b2d632509e14a08a4f779f6540ec NumGt NatSet TypeMismatch
e292337efd46abb552c44a0d02c5a146f2769271 NumGt NatSet TypeMismatch
f8469e2ee236cf0674547b97e0e0922a06b79241 NumGe NatSet TypeMismatch
423ca49613dc7d2d74d93e197b19d7107db8ac28 NumGe NatSet TypeMismatch
897cb75693a68a15c12d97d0a44a3fb973906266 NumLt NatSet TypeMismatch
78536994f9e71e59bda29a7b6d776c451bdb346f NumLt NatSet TypeMismatch
6188e51f0981584aef783a394439e8a7d344ce92 NumLe NatSet TypeMismatch
c80f87d84d3dc83ade1ac67acaa6171ce31b3cc8 NumLe NatSet TypeMismatch
4a9eb88c831d3fbd68befe337d3aa9aaa6092bfd DefFun NatSet TypeMismatch
08f179b8ac66d44ec2224b41f3b28e37588e5d04 DefFun NatSet TypeMismatch
e5bc9fcdceb1497e4da69265caa3ceb4d7b74413 LetDefFun NatSet TypeMismatch
dbf75f09e13852ec2befbd35be137ac0e5a63732 LetDefFun NatSet TypeMismatch
0add4ac8d037a0d5bcd21e6217d7cdfca4db477b DefFunRecursive NatSet TypeMismatch
9e38c1163a2d13b0d32cc7e98086d733f997a626 DefFunRecursive NatSet TypeMismatch
8cae0e0b88a589fd1400e3d9a553047724f3b14b LetDefFunRecursive NatSet TypeMismatch
b8e79806edf83f9e4632530786df8852e2d23e0c LetDefFunRecursive NatSet TypeMismatch
34a589845290c619eadc0490d5515894318b0214 DefFunInDef NatSet TypeMismatch
e37d09477680262753f9744fcadec2d16ef7bb67 DefFunInDef NatSet TypeMismatch
38f9f047c5dc45d573a66c48b5af8a73fb7c46bb LetDefFunInDef NatSet TypeMismatch
24c9bf349a819702a2faa5242e9a7d75cc149551 LetDefFunInDef NatSet TypeMismatch
d13f67bf1c24cd4a0b804f7f50fe2f5df1eeacb5 Def0 NatSet TypeMismatch
1b0720f8a2dbcd8570346b319a300f6ac7b03641 Def0 NatSet TypeMismatch
c2ab2a32825135bee0de83500ba8cd84cc0467a2 LetDef0 NatSet TypeMismatch
653c956b4ba8579e1522bb266f850a99e09aece0 LetDef0 NatSet TypeMismatch
75184d738f77a67fbd06f517cf7ac499b6e874f7 Def1 NatSet TypeMismatch
fa943c92369d9a152d0a0df01256f536262d8662 Def1 NatSet TypeMismatch
1b539118b3edc8ab80b73ffff03f136ae0b55561 LetDef1 NatSet TypeMismatch
56d9f47d08b746e147aeb1e45d264ed8a6c801d1 LetDef1 NatSet TypeMismatch
aa6a1e3653cf561809d5c1061109b7ab6430ae4c Def2 NatSet TypeMismatch
3b814715b1e22474643d011aa53b07fc2f15d5fe Def2 NatSet TypeMismatch
75108f67448009e4d165c11e716ced90569b9c5a LetDef2 NatSet TypeMismatch
0db3879bbcdd6320c6084fae80f892f7f2a842ff LetDef2 NatSet TypeMismatch
3b89a4258e8ccddd2f32f0618501776d014b121a Def1Recursive NatSet TypeMismatch
85f22bfc387d16b41e53909eb315a7b89530a8ea Def1Recursive NatSet TypeMismatch
eead3d4c6f82b66d15a37ab9b45ff882152b2429 LetDef1Recursive NatSet TypeMismatch
b1c9496dbe2af8a40c010b680d034ac71764f647 LetDef1Recursive NatSet TypeMismatch
fcda31e7be9f44c05647063c70296343616a0dcf Extends NatSet TypeMismatch
9944b7168fb0bcb94fa469d0dadb4ef96844d3c0 Extends NatSet TypeMismatch
35017f895f226c7e6ea293bd74df3a6ba1ab9fbf ExtendsInDifferentFolder NatSet TypeMismatch
a36e87f1137d199b2f2b3fc85186da1ed9329fbc ExtendsInDifferentFolder NatSet TypeMismatch
865da50056aaa964b520f6b08425976003afda56 Variable NatSet TypeMismatch
8863f3f3e9537409b1712575de1f638c16158fad Variable NatSet TypeMismatch
0b598f4abe8bd34bebb071b032539cc0e0a99979 VariableViewExclude NatSet TypeMismatch
8d6a3dc612da01b4e297aed960241efd7f741f05 VariableViewExclude NatSet TypeMismatch
87a40790dcb4585a33ff50e820fe097f47a4ad51 Constant NatSet TypeMismatch
bbbb6ed6c703f536ceb8fcf645f0c0cf82b54c31 Constant NatSet TypeMismatch
539de91379a8ac67d594d08abcecf73859bcc544 ConstantModelValue NatSet TypeMismatch
77602cd416e987bc25181bf8744b4eac6b153e48 ConstantModelValue NatSet TypeMismatch
18b6e464136e509764280b153bb5e65146334fc8 ConstantRank1 NatSet TypeMismatch
2dd590ba387a917a40d60ff1f65da5adac9ef579 ConstantRank1 NatSet TypeMismatch
2203ca0238fd7bd096f7e98ac6cc465cf9d89a99 Instance NatSet TypeMismatch
792fb251341c2b06df381c31876b1815897832f6 Instance NatSet TypeMismatch
3df9187f47f5de481ac23369b6f7d57680af05f0 InstanceWith NatSet TypeMismatch
33145141bb36e3e93c0edbd137d05e0df06cd5ad InstanceWith NatSet TypeMismatch
7710362d119654a153ceda13612526d442d25286 InstanceNamed NatSet TypeMismatch
3489760b39485dd88dc13ea65a35e9d976ed7e35 InstanceNamed NatSet TypeMismatch
d2d65aa94869b751b73f6ce5c8b459bcac9a7279 InstanceNamedWith NatSet TypeMismatch
8d479f4f59272f9be910a7f121bc45fc3f7a8ab4 InstanceNamedWith NatSet TypeMismatch
16307cf8909db1590617139200c581c2d3ed5337 InstanceInFolder NatSet TypeMismatch
b6adb6233c95d0adc2944173a313cf24aefe2eb1 InstanceInFolder NatSet TypeMismatch
804f7941bc3d0a65d477173f8117e099444735b8 InstanceWithInFolder NatSet TypeMismatch
657bffc77c33dd9f6d3fb5f6789b59032ab3696f InstanceWithInFolder NatSet TypeMismatch
53e41bc7633d56855a457eccd12de32f57279dfa InstanceNamedInFolder NatSet TypeMismatch
192023a8035bab74246cf266bba29e5cb544eb30 InstanceNamedInFolder NatSet TypeMismatch
48e82fea3269792c2f74017d312e419831179d12 InstanceNamedWithInFolder NatSet TypeMismatch
6e28c594d23fb0fa6ba0d51f1032c2e6b987f5ef InstanceNamedWithInFolder NatSet TypeMismatch
05443706a280c7d973629a95f0a9ce9ada0b45f8 Enabled NatSet TypeMismatch
44b51556bb03252372361ccac245e04548fbb2e1 Enabled NatSet TypeMismatch
9ee304f3d657cdf3c2a67ff0f757b604ea484645 Assume NatSet TypeMismatch
eb055111dae5b957e0b94fb819751c1e4a0a9dd3 Assume NatSet TypeMismatch
5d32fff69ffde70d6e144e62c0f9b0a15a74d158 AssumeNamed NatSet TypeMismatch
3aa2dc0fc5dface7994413b7ceb48f3071132470 AssumeNamed NatSet TypeMismatch
2ae8775b6df846c41639c88ea5a0fab847fceea6 Lambda NatSet TypeMismatch
64c62ded0e43d61bff336474d688d4ddab006a9b Lambda NatSet TypeMismatch
19670d6a6c1597cba1275448e1b446212adb2f45 Cross2 NatSet TypeMismatch
50bc72bd0691cabbf804ed09187fee5e83182186 Cross2 NatSet TypeMismatch
cc09a1a7139fa9be6f84f857f6df54b290cec9fb Cross3 NatSet TypeMismatch
9e428970320b6f5373f46d48f4cca55e29ea139a Cross3 NatSet TypeMismatch
6566353a28f5e2ed7c16f76260399199301b55b5 SetDiff NatSet TypeMismatch
6f2e02960ea200292ca02a4b0c4c78e338f1a4dc SetDiff NatSet TypeMismatch
cdd773d27dff69f3c8b7410ea3cbbb2b1fc96e8f SetUnion NatSet TypeMismatch
e0bef7df39f70554b8a53528a82db12b111ea180 SetUnion NatSet TypeMismatch
305e6d0e2b064dda8f335d6176b3e613a4a27a93 SetIntersect NatSet TypeMismatch
b3a9e65b28bfec3bd02a01ab309717f6d97b3fae SetIntersect NatSet TypeMismatch
ec6ed9f52c08fcfe973f0021557c982d18b7eef3 SubsetEq NatSet TypeMismatch
9f3dba43a5b3c8bd15d43b0a5d7c30b0f03d94a6 SubsetEq NatSet TypeMismatch
7df390f34cf6f7ad5eba5ba7587b5063a0af2922 IfCond NatSet TypeMismatch
b87b3af42f4cc176ba588522994b9972b35dcb65 IfCond NatSet TypeMismatch
925a277195577c6c606941d0c6d88e25f66231db IfThen NatSet TypeMismatch
e51ef7a9f2204b900d58fa9bac8d7f0516ff8369 IfThen NatSet TypeMismatch
0fac76c5b59185f6c1c66fc2626f0b8d7f5028ad IfElse NatSet TypeMismatch
199025807874270b609b4a5dd08e3ab9386caa73 IfElse NatSet TypeMismatch
131db887636e4dedcf7c33450ff706ff1eb1f870 Subset NatSet TypeMismatch
957997cdfb2546bd2a0b42003f72e31dce1adfdc Subset NatSet TypeMismatch
4b9be7626756cfb7d14fc582e8a511db7944feb7 Domain NatSet TypeMismatch
85188c4e41139f5a5e2e855d1037a96c5eea8929 Domain NatSet TypeMismatch
a8e878a4d840bcdef29c4baffec64f3143b27e52 Union NatSet TypeMismatch
ce90acb36a9568f4a4a7001e3e7c6fbdb2386ec7 Union NatSet TypeMismatch
189b8f34aeea67dfdef44631e880dde617cff737 Unchanged NatSet TypeMismatch
cdcb6279f90f9755d3e0f44461879b97254b3c86 Unchanged NatSet TypeMismatch
410aa52ddcde28a90eeacc328adb9a1822251d1d Equivalence NatSet TypeMismatch
366f604cfb5d74152c94fa40af06ffdca1a2798a Equivalence NatSet TypeMismatch
f66ec756f0d5dfe69d67043b4c3b512adb735912 StringEmpty NatSet TypeMismatch
81f789ea7e2115b007a4c233dcad17d06ee6bc42 StringEmpty NatSet TypeMismatch
e0e182586ee6065d21af6b03911ce587ce7778b8 String NatSet TypeMismatch
d5930191c5f67edc72095bfa5f63ca9fa22824d9 String NatSet TypeMismatch
6049c42cbafc4d8e1bf40fc8eae5da810f230838 SeqLen NatSet TypeMismatch
ea8aa0a2ce26b27e71a6f1e63edfb8cbc2a027cc SeqLen NatSet TypeMismatch
937313496d651154ec07671ec2aca36c8c637954 SeqConcat NatSet TypeMismatch
dc99ed4f84f9fc8f60a9ce124f149186db6f0734 SeqConcat NatSet TypeMismatch
d6f01175548b26a17c8b4eebc01c82c9f80fc069 NatSet NatSet TypeMismatch
60b93255644ee3e9318f6fcaf95688f69c39ff47 NatSet NatSet TypeMismatch
e74d52e5b92add0bd49991151e08181615065661 IntSet NatSet TypeMismatch
713691b7be47c5b0cda040043173ae1e1a4e89ae IntSet NatSet TypeMismatch
d04458f16871bcf6dc588f1651bd4b3e30ad55e8 StringSet NatSet TypeMismatch
8c534174b0a1204799cf991b220ea7fe767436cd StringSet NatSet TypeMismatch
5ab9be4c8db9cb6c6900b7eb17cf06f3ec871787 SeqSelectSeq NatSet TypeMismatch
77c86b79990adf8c2eed10b367706a626617dc88 SeqSelectSeq NatSet TypeMismatch
2b480ca04e97492294ce435aaabdf85bd9cdf773 SeqSubSeq NatSet TypeMismatch
c1960b2ec633a695015e37444315df9bde9334da SeqSubSeq NatSet TypeMismatch
a68f0b4ba2acb97efd9c194406137338c0b4cc92 NumRange NatSet TypeMismatch
f95ff8f3a008395e0bcff7fef29becbb154ea82a NumRange NatSet TypeMismatch
830bdd30667b57a1ca60256c8776a70c7d13a214 TlcSingletonFun NatSet TypeMismatch
d555b20867d8ab4ab3c028783fa2d348f63f13f9 TlcSingletonFun NatSet TypeMismatch
fe4e2408a3c7b32f257c0c17e317da0797e6b767 TlcExtendFun NatSet TypeMismatch
7416aca7c982d5c517ccbcde18f0d3488dee9d30 TlcExtendFun NatSet TypeMismatch
7d87bccbdd71179e2a092d87978f3fb402e52e1f TlcPermuteFun NatSet TypeMismatch
ccab11127c1015d8eb8825ec43710e7e9c96766b TlcPermuteFun NatSet TypeMismatch
3e47386202684b741693fb1c9e2822e4bbd92de2 TlcSortSeq NatSet TypeMismatch
ab112335b6cbef0ca5f978b4f45ce06d4821864c TlcSortSeq NatSet TypeMismatch
867a952ec2c143823b476c884555d04ef0053adf TlcEval NatSet TypeMismatch
a908c6552a3e5695d81733099f4a3a8522381d81 TlcEval NatSet TypeMismatch
6a5be44acfe6807fedf8a859a42b5eebc0cd0ef6 BagBagToSet NatSet TypeMismatch
3f072c73987d014982b63c353b1e649c0ab044d8 BagBagToSet NatSet TypeMismatch
ef5baebc95da763108f1327a5ab4dcbc24b21d71 BagSetToBag NatSet TypeMismatch
d5fe0c37af0209a85980326211cfaeae3001cc70 BagSetToBag NatSet TypeMismatch
4b447a2ffd106ae994d09b2679639f4650aaf367 BagBagIn NatSet TypeMismatch
290f4eba1bfe34219a736ffed304f69469456151 BagBagIn NatSet TypeMismatch
9c170dcb053388c6f8f23014f513b1292c7961af BagEmptyBag NatSet TypeMismatch
fcb626ba6e23ec36b5a949fcce42082164f82986 BagEmptyBag NatSet TypeMismatch
a1cf18f672624dd91f823ac9ae0d1b0ae258434c BagAddBag NatSet TypeMismatch
6f51149d2e5a994ec7260afe512fbaa1b5193af4 BagAddBag NatSet TypeMismatch
fd58087cd552f8cc957d9593fbc7d2fcc502c54c BagBagSub NatSet TypeMismatch
f53ad9fb3648af02958eba7bf3e3254574714303 BagBagSub NatSet TypeMismatch
3a4d245d75fc8f0a39bed325c058e54e73649c42 BagCopiesIn NatSet TypeMismatch
442f1cd5e8672e20a20c51da1e5606890c147aa9 BagCopiesIn NatSet TypeMismatch
f42d6b8c445ad247ffb22c1cc32c3609208d0121 BagSubsetEqBag NatSet TypeMismatch
357b819d512aeae32c681bbe1a12ec3a2a66376a BagSubsetEqBag NatSet TypeMismatch
25773f98e1139d32996c02a424b82872b213e101 BagBagUnion NatSet TypeMismatch
6ade576f93bc209a6c3ef4664f536a6e84d5005f BagBagUnion NatSet TypeMismatch
409ca4d10bb5fa5e082e20b1390bbdee345efd79 BagBagCardinality NatSet TypeMismatch
f1ec1322a8b6e4ad6fc672cbcd17d0adaafa8248 BagBagCardinality NatSet TypeMismatch
47d3136f62f67b008141f25336f8ec1d6ad96d0d BagBagOfAll NatSet TypeMismatch
31d07c6acfa29fe0fb5a7afed1e35c10f7e4b9c8 BagBagOfAll NatSet TypeMismatch
73cf900be39e5267db8de6090aa55a3260ab23a8 BagSubBag NatSet TypeMismatch
fad8ed22dbee7b978a00418a1341495129106ec5 BagSubBag NatSet TypeMismatch
e5dc8c748808eebabb3cac97d403a16186c13964 FiniteSetsCardinality NatSet TypeMismatch
ce729589adb544b85352712241938f1e6da7cd7d FiniteSetsCardinality NatSet TypeMismatch
0bae6ea96244a4adf41db97b0aca948209ee4031 SeqHead NatSet TypeMismatch
a04e9fb56450008f465b3c41a86923451588f46c SeqHead NatSet TypeMismatch
6ef61e435af3ee45c0a785a67038b6ab8a1e69e6 SeqTail NatSet TypeMismatch
1e9bc8abd052b898aed652098984306ea3ef4e9a SeqTail NatSet TypeMismatch
6e76e3af99e0dff82f9b84e750d824094793a673 SeqAppend NatSet TypeMismatch
df1217d851472908f9d02de9087e56f3077706a3 SeqAppend NatSet TypeMismatch