Index

Skipped feature combinations by case feature String

Id Case Feature Plug Feature Skip Reason
ff6ea0bf0095a6f4ffa73d6bca1481c7b3fc0008 String OneLineComment CanNotBeCase
2d0e10347191007a0abd90eaee1ca29c39116aa3 String OneLineComment CanNotBeCase
16ee1cbaaf11033377c10f3f122f4496e8a334af String MultiLineComment CanNotBeCase
b0eff005c79e38799c42df6d33d4232d093b2331 String MultiLineComment CanNotBeCase
7479eed0ca2e274cf059f31be810b69bbc6cfc37 String BoolTrue TypeMismatch
e31fe221a25a1d618ae8324a5d7a730fa2d9f04e String BoolTrue TypeMismatch
d4c567de316a72bb7574bea2243d4eef9aa76515 String BoolFalse TypeMismatch
bf2867fabae653a2e611a44eaaba04b7104d3926 String BoolFalse TypeMismatch
6a54e594612f3be4cd338d72d314e62340e42ba3 String BoolSet TypeMismatch
93de726f4981430d14c963e0c1281e726c417ca7 String BoolSet TypeMismatch
ce9aecc29bb2afe39b798105b5847d101bd5ba2a String And TypeMismatch
b02875f997af5db181bf810d2bb048b29b6bdd12 String And TypeMismatch
eb2ba95f9c4f73aec141969cd0b328d2c8da1d13 String AndMultiLine TypeMismatch
c639842dfc6e0ceeb58c4fedd68ebed10a48fd47 String AndMultiLine TypeMismatch
e9cba7b351d25bc391bd0c73a418932d9a315f95 String Imply TypeMismatch
6fc70c874b9b692f5bc33aefebf784f7d8b84b24 String Imply TypeMismatch
c442ed30e9d367c6fa9f7b3d1f264b33dc68f45c String Not TypeMismatch
6a7325ea3ae334bfec2a622612150e1bde575336 String Not TypeMismatch
0e76befb64f06906db9b05ea304399108bf4d55e String Or TypeMismatch
fd603ccef0d5d1442ff11c6f6c76d897a4a14180 String Or TypeMismatch
2b5a8c720725cea077aae40effd1fabcff6faebe String OrMultiLine TypeMismatch
ce1c62d2aebcbea653d7e4fe7d146b17d6011cb4 String OrMultiLine TypeMismatch
e6e486adaea4e961707fa41eccf2ae899fc54ccf String AndProp KindMismatch
414d273564dc29143baea407c28eb2dc7c61d711 String AndProp KindMismatch
4736cd7084def8dab7c621355454b878e933873d String Boxed KindMismatch
7f1ae284fa9bbad3f9496fcd7baec9de4939ac22 String Boxed KindMismatch
92d1fbe69dd5a7df1eac187dbc97502a0f5f27e7 String Eq TypeMismatch
eac558ce4e1468e183883d9a6f37b2aeb1d506ae String Eq TypeMismatch
6ee2d1288e0513fc078baee44e4020be44143ac8 String Ne TypeMismatch
8c152d17be9a351aec0b90c850c96d78c51f29a8 String Ne TypeMismatch
b92c7a3db14f98ecdc030f9194d89b1d23c815fb String Let CanNotBeCase
694cec7304bab4bdda2163908e946d9bcec5f574 String Let CanNotBeCase
f86092544636c82ea43e4d44e0823e9fff333249 String SetEmpty TypeMismatch
cdc000bb2ff899248efdaa55be3dddcf064d14b7 String SetEmpty TypeMismatch
710409c07ce9dbb7186388383f490b58e0ec86c0 String Set0 TypeMismatch
95e64bb1e63ea1027bda4c8d8968e2d701825fc2 String Set0 TypeMismatch
6ad416a91c5cf99ee1647ce2d4d8d2b8893483fe String Set1 TypeMismatch
ad19f879168fa3fee4dbf1530f885549d5821fca String Set1 TypeMismatch
66cd756bda29a9c691c9866dd1355b0634acf0c1 String Set2 TypeMismatch
9e328bd27feb88d6e53b4ed403bd76ca3f36a1e4 String Set2 TypeMismatch
aa81a2d94e0753f8bb8f0ab37e20681078bcc09e String Set1InDef AlreadyCombined
5fa678392417eec3e88034ee51e12a46c2fa16f4 String Set1InDef AlreadyCombined
372ee39df2a3349c9b068ea2feb7da3e8b452b27 String Set2InDef AlreadyCombined
4da8d4f8cf14b722f743851194d3036cf090eda3 String Set2InDef AlreadyCombined
72ecc9fa575cf3372f0914c027c4d23d4b2e3710 String InDef0 TypeMismatch
7b2070a92f7ab54439ff47cc4b42a8efdae4c367 String InDef0 TypeMismatch
58c92f84cc9c67d345fb1e76a4a4b531e5c7c978 String InDef1 TypeMismatch
f4a7b7324f56829b12864dc6c842a1daa26f608c String InDef1 TypeMismatch
6debe7a532f2147fe299524c7166047a4fc5532b String InDef2 TypeMismatch
70008ca443a500251feea61271c07b30fa91129d String InDef2 TypeMismatch
d148fa823d4c43d009c6c4418c0b4dd233fc0534 String Fun TypeMismatch
99295e171e04fb65e322e732cc546337e7299e18 String Fun TypeMismatch
a5979a2400de50ba9f68947ce0f435460a296c1e String FunInDef AlreadyCombined
65489c26c9b2e713535fdf99f489ea7e715bb17a String FunInDef AlreadyCombined
a6f286411563bba4af8c72765045c385cfcdb5a8 String In TypeMismatch
25630d8a2d9481b20e120043c149f302b970ccc2 String In TypeMismatch
97d328f0a51ec02e7787d4fdd208993ddc1bd695 String NotIn TypeMismatch
7a60f9db43dbcb04ee75eb0973923d0cddb0a769 String NotIn TypeMismatch
437df79fe6e144512dea48539b98cb429975233f String Exists TypeMismatch
f510b2f4bf6ba02ce1b9a6ba59d5da90ee02433d String Exists TypeMismatch
6eb1cc724f82e8811c256c30638c154f3d9afd1d String Forall TypeMismatch
2785622d39442d466f581e0dfc18b9b8ebf894d4 String Forall TypeMismatch
e3bd92d38ead69cc23703539bf826913fdb7961d String ExistsInDef AlreadyCombined
14ab28a57da1e4bf8b9987dc5c5f8820ecea33ea String ExistsInDef AlreadyCombined
c4830ca15a27c547e5e9b220f83ba13484fb9b1f String ForallInDef AlreadyCombined
eca29f566acb8f39291fc9b8aa0cdb11f50358f5 String ForallInDef AlreadyCombined
255626e0188d2ca4aaece20b51f29e431e3952e0 String Choose CanNotBeCase
92f3bd6f053dbf23acadba50091a0bb814c4ae3b String Choose CanNotBeCase
c287e5749d0ddcefa0551323058bb03b51a890c5 String ChooseInDef AlreadyCombined
9c3a7bba0c206b47abf24e4cddb28f2609001771 String ChooseInDef AlreadyCombined
04f67be6ac8b23a86edaed03c36ed45f5e53d65b String Record TypeMismatch
efb2f2e54ee5941b947ba89992c882f1fd265148 String Record TypeMismatch
33254f70577315a5229e271247aafc2a95816447 String Tuple TypeMismatch
7078bdd712ddde0afb643a9ee25fa5072aab4de0 String Tuple TypeMismatch
87fddce4bcd7357968d425397adaee23d7019edf String TupleEmpty TypeMismatch
fdd0a4bfbea00ae11ebb781c2a6f825648eea261 String TupleEmpty TypeMismatch
b38e99bef7724815e92cb2cd40fc17330e87bbaa String FunApp CanNotBeCase
3bde87ed0a3f0fbf6627741fb800b194c75d05b5 String FunApp CanNotBeCase
c132b6fa4f5300d0d2717324c215d40284562869 String Except0 CanNotBePlug
d9b141386ff3313053980f2f37fd86645adec909 String Except0 CanNotBePlug
3d2860e10572d4cffded2cf21fa919782d8607a1 String Except1Fun CanNotBePlug
8b99602dd81bb9d86c767cf1c7d4814b2a45b8af String Except1Fun CanNotBePlug
a3777b2bb8b26b345774bc74169f5099648cacfc String Except1FunWithAt CanNotBePlug
6ecae5f5c6fa1162e39daec23dfeb7aa2eb72b99 String Except1FunWithAt CanNotBePlug
78f5963a76961b976867554005050fe4486f6f90 String Except1Rec CanNotBePlug
1e520ebe326e67fe8e4e461d03beae17ef780e5b String Except1Rec CanNotBePlug
069f4ea0c40c6f67f7ec67c364d4281b674c6d2d String Except1RecWithAt CanNotBePlug
b68f686e55b93655b977259d76a4f48592b15f11 String Except1RecWithAt CanNotBePlug
b5b615b67747de7624cb41f49b889fae3ce268e6 String Except2Fun CanNotBePlug
23c7ee6ed08f92de1c8491fabcc05e52b45ff28a String Except2Fun CanNotBePlug
57a7903509294ad73d395b066c16ba94b35f19da String Except2FunTuple CanNotBePlug
8d4230345f91d27966f0624922618fe24452b94e String Except2FunTuple CanNotBePlug
ba9544708d1f2827ef3be8fe6e538d4c759cfc67 String Prime CanNotBeCase
e5882ffb17768c157dd4a0f9f5addba4e579175c String Prime CanNotBeCase
fc85c882bdf0b9b2a290d107a47e8e221abd2536 String NumZero TypeMismatch
bbff9b8460a7b8720e208918b4b3a93e8bee2ff3 String NumZero TypeMismatch
3401dad71ed07d302d9e74bcd656ea3b213def3c String NumOne TypeMismatch
6a49cdfca1c4157e4ff12367012ed03ce33f3068 String NumOne TypeMismatch
b7844cf7a5abc0602c6845b2b7d7f39361b09598 String NumMaxInt TypeMismatch
dd9342474ca3f1c5ae7ba3c758971f5cceb9b2d9 String NumMaxInt TypeMismatch
27ed80466c27f216e775a8fbd0f75899afb8342c String NumUnaryMinus TypeMismatch
1361f8d1790773af40b4a89a5e39a294c2caefa8 String NumUnaryMinus TypeMismatch
4df9ce6e57b0067469f05a7a97df0822b3e2fd85 String NumPlus TypeMismatch
5253a3a72f9e3b14b21403ce72bb46ba24fefb57 String NumPlus TypeMismatch
1bc7bd397e2b3492fcf02907de87ff874105e0b0 String NumMinus TypeMismatch
7432a7e8a83c34b3484a1e3da1a07038c676268e String NumMinus TypeMismatch
3a51221f5bf2644b71cc9c33e4794dd9edd98bae String NumMul TypeMismatch
c2020436414927673f829014a1957a27a1c91b71 String NumMul TypeMismatch
fcd03be3207c8c4564eb5c897ba0b28dc0c80759 String NumDiv TypeMismatch
728e9bc2bc425509482fdc6621280beedf906cbe String NumDiv TypeMismatch
d54890ba5e35650a87df02beeeeb6c9626900715 String NumMod TypeMismatch
7e2f7274e078688376e99746c092d710adbac5c9 String NumMod TypeMismatch
5bcabb225e00a952cd9f794d939bfc3044cda220 String NumPow TypeMismatch
60b1a409b07fbacd8851ddcc0dbdce980c587f0c String NumPow TypeMismatch
b021422db31a93d2b40f78d80f189a6df474ee07 String NumGt TypeMismatch
6974175e4ee5dc102e778cb558112860d2b3b88f String NumGt TypeMismatch
6bcd2f6891b52241042fdaedcd0a419906a6a133 String NumGe TypeMismatch
893c4c316c62783a676e6150237d5c52b5caf404 String NumGe TypeMismatch
32b8017af1f085ebfd6fc00dde39cbd9fa81076b String NumLt TypeMismatch
88c3ee8a5c092b9f5cfc190acaa13a61dd3caac2 String NumLt TypeMismatch
2e2a020347dcc08c7e5768acc9c42e390509fbc5 String NumLe TypeMismatch
9a4612e5718d1d735bffb76c78c98bda89948ba3 String NumLe TypeMismatch
5c4c9f3fcf40e562e0ec19c1cb785446139a5e56 String DefFun TypeMismatch
b1ea44fa33b04f96765004907c4724ce226eab73 String DefFun TypeMismatch
4b1cf0910ee0b826a99542fe3513ac269d3341b8 String LetDefFun TypeMismatch
130f204f807ee566053f727aa822dd4e2fce68eb String LetDefFun TypeMismatch
8fb415072e96901b5c28e72e9d35ec0909263fa3 String DefFunRecursive TypeMismatch
31a76b9edeed179ac985337eee40252938542fe1 String DefFunRecursive TypeMismatch
3ab17b58db9e55dce13081908a7bc688ec77a634 String LetDefFunRecursive TypeMismatch
e883a4f2b25f72c892404276893bf8d3e77e9c95 String LetDefFunRecursive TypeMismatch
2fe5904696ea1b388bb35a445da93278e1b98d02 String DefFunInDef AlreadyCombined
e110bc83159b4ca2f09cdd3581f2db5a1ad0956e String DefFunInDef AlreadyCombined
2f7651116585b175906fd810db3aab2c416f2334 String LetDefFunInDef AlreadyCombined
237e9261081d907357e7276b9de2747a5ec2adce String LetDefFunInDef AlreadyCombined
3a26c4d4280f00b15a37392796af252145f1dd6a String Def0 CanNotBeCase
590f52de63f732c3abac1b9f2936430f1caa964a String Def0 CanNotBeCase
43472efe88d869299d0ced6e02e55039794c8c37 String LetDef0 CanNotBeCase
83152dcb6c7f32b84a60a7e247ff74dca482aa0f String LetDef0 CanNotBeCase
c929c6a65428d82acdb070f89c7fd364e8fff8a7 String Def1 CanNotBeCase
a018cf9309c93a70fe19ccfbf706057da40e2430 String Def1 CanNotBeCase
58da8c40dbcf7075504384e8c2b1e494d69567e3 String LetDef1 CanNotBeCase
4dd52b044d7cca145b00f57f71a93cbab04fcc35 String LetDef1 CanNotBeCase
9f643c546bb9b925a638265c364c90903278a946 String Def2 CanNotBeCase
8ccecd8fc4dc74ad1dbe078650308b35e121d13d String Def2 CanNotBeCase
cf61c0b4b6e4ce56f2aeacc0f462cbc5b66310d5 String LetDef2 CanNotBeCase
c3dae96948bdc087612f4481f9c8f810cd519c7d String LetDef2 CanNotBeCase
0018a8bba3e7df2958353a3bf07fc05279774d17 String Def1Recursive CanNotBeCase
71ee6ea1eb6dd5151527acf48cec0ffd1877b0d4 String Def1Recursive CanNotBeCase
1569da2ee4c8d5f769bc0643c4f90a467c170edb String LetDef1Recursive CanNotBeCase
191a95dae899e7f514cca6a424b72e13d6881e08 String LetDef1Recursive CanNotBeCase
1c9b0f03b557e0a091597ce7c941afa2098c5a44 String Extends CanNotBeCase
1f6e61dfdfbdaae3a2de659b392723c7ebcd48fe String Extends CanNotBeCase
589efda3e9ed9c1ed7642f6f2d3714ff10f7f4c1 String ExtendsInDifferentFolder CanNotBeCase
581cf39dff3bcc38a7b4fec8b022f79511eefc50 String ExtendsInDifferentFolder CanNotBeCase
47585a435293b081bba53a8da199b2d1531e36ee String Variable CanNotBeCase
736cc73f60c179a75bdb69e3e4a7f2246ece90d6 String Variable CanNotBeCase
83459b345e995a6414a0433e4d384aaa6100d953 String VariableViewExclude VariableExcludedFromView
6df03c9939c888c7cd9214457f726dfe125b0039 String VariableViewExclude VariableExcludedFromView
aba0e74eb897912e0bf5a68bd6a7f3f26d2e3424 String Constant CanNotBeCase
acbe051a3515fffb87d3fa2d36740144ae348e5c String Constant CanNotBeCase
0666b766f0c4c848b9ed54b4b4840a778c334372 String ConstantModelValue ModelValueCanNotBeUsed
9bdc47970e2d74d054b09a5cc87718903b7ee668 String ConstantModelValue ModelValueCanNotBeUsed
4574143dd7ada70583eba3a99275fe252e9f1943 String ConstantRank1 CanNotBeCase
ecddd419f80c69909fbd80013b37a59b86c4a99e String ConstantRank1 CanNotBeCase
6e89fb2c26801f797e31259ee0de8d04821204d2 String Instance CanNotBeCase
6c25bea2f6c541a93f8bf26c053ea3eeac0d2d29 String Instance CanNotBeCase
32aca4d57f21fcbeea0886016f2a9928ea6f6f1c String InstanceWith CanNotBeCase
080b67f41830a99de7b18705c18f61c51de1b0ea String InstanceWith CanNotBeCase
40d330701465bc9c2528942ab93f940f81ffdeb2 String InstanceNamed CanNotBeCase
eff9c73c7598ca9c483bb913927bce3c5eabe6c4 String InstanceNamed CanNotBeCase
0c74b906d0416a4c29519a2c5d9879ca6ee803b8 String InstanceNamedWith CanNotBeCase
e049af89bab73925710e9e7fa4beb018ecdafc72 String InstanceNamedWith CanNotBeCase
329e7ab26dc33dc7fbba44cde3cc3a1fd9c16382 String InstanceInFolder CanNotBeCase
d0e043f76454be5367762be3ec9f24382465472e String InstanceInFolder CanNotBeCase
ec72e0713843e8bfbae26f13f02200d88aa3a5e3 String InstanceWithInFolder CanNotBeCase
5df1fba73365cf0504510463c19076550e42216e String InstanceWithInFolder CanNotBeCase
d77e91dbd93cae4b33f39e287cbb8a78c1d17284 String InstanceNamedInFolder CanNotBeCase
644ec256691314e32f14b7048bc1e05acbe48a06 String InstanceNamedInFolder CanNotBeCase
69128423d063dcdd3f9730aaf27f04b02a14b893 String InstanceNamedWithInFolder CanNotBeCase
1988bfc8c88a64f6b3ff689072e5f196b0a364c3 String InstanceNamedWithInFolder CanNotBeCase
0c57af5dd4f645992eb9b06c1df86145587429ce String Enabled TypeMismatch
bf76736b47e86ed021b32c347ccf1bc8bdead7ff String Enabled TypeMismatch
97cf06260527098b9ea9c914e7ba7a5b4328c8ab String Assume AssumeIsNotEmbeddable
6594abf1898837eda4bf422fbc4403ed59c26dd2 String Assume AssumeIsNotEmbeddable
0d2c6e0dac93d3db8d114eccc02854134bac2a92 String AssumeNamed AssumeIsNotEmbeddable
c0f70fad390c6c29f687059190f9af91ba3145b3 String AssumeNamed AssumeIsNotEmbeddable
0eda11a47d2e5ad6caa47cc68a734f7172e1249b String Lambda TypeMismatch
37f79c4ae2f9c1000f1e55e98cc0cbb1c662994b String Lambda TypeMismatch
dd9135d9a1df220048b54a7749abe551f7626ff2 String Cross2 TypeMismatch
73420d2072aa82f96ca7eab52d25fa7c50bb41e9 String Cross2 TypeMismatch
6f70ae1f1148cad65189d7a0f7c1f811663471d0 String Cross3 TypeMismatch
b8bcaf383a0511d7eeb4979c1d9d550d0fe7ed71 String Cross3 TypeMismatch
22ea5aba795ed5cfc18145a185839ee66111c317 String FunSet TypeMismatch
58f8a97d1e048a4284ac89d64ff8813af3e49fbc String FunSet TypeMismatch
f564adf844837b7bcb662de56377d3eaffcc081d String RecordSet TypeMismatch
646fb0042db215f6561c961ea30a753cba190e67 String RecordSet TypeMismatch
a4067301daaad94cfeeefa2468fa69370ec83391 String SetDiff TypeMismatch
0ff604f4b7fc2246165c90f03b1279e1105869fb String SetDiff TypeMismatch
d4d5bbb2bce56ecf12cf82d9f49056580c135700 String SetUnion TypeMismatch
e5b66c6127575f37f617b09e9be6d95f9697c3c5 String SetUnion TypeMismatch
def93e22e6a29e6c95e15d8a7ad4f30584f1a49b String SetIntersect TypeMismatch
a13979cf0258c886d6220ba7a139d5ecbad76e13 String SetIntersect TypeMismatch
bed7976323343c4e2a2a1cd4757064ea5e16ec99 String SubsetEq TypeMismatch
191ddfb023958ea8c6a9e0912cd9ed58d4b54504 String SubsetEq TypeMismatch
8680893a16bdacec1baf042a18e3bc4870f0587e String IfCond CanNotBeCase
c0b9b3539f09bf4f32596105bd33f36a8bb7f38e String IfCond CanNotBeCase
05687f600d1e2359b715021767b191db11533be3 String IfThen CanNotBeCase
06d6af1f91eb0afb3492d4633534e241d63fe2fa String IfThen CanNotBeCase
b47a380a881c2870027652cff1d5093320a1a41a String IfElse CanNotBeCase
72ecbd9b68dad39c92bb5ad0e2b81fbede782f4c String IfElse CanNotBeCase
f01eddecc541a23498028cee04603d992bbc42de String Subset TypeMismatch
f169f6d91b38b9a64262a5077435d12d0f1cef87 String Subset TypeMismatch
4ada0bea2964e29eff589e5637ac9cf3f89a82ab String Domain TypeMismatch
307eb7335b263e13ab01f900ecf4e5ed23534e6e String Domain TypeMismatch
04ce481740a994063ad4ba25d9a0eabe2a1884b3 String Union TypeMismatch
a66f83544b8883749fadab581f95ee73e2e4e904 String Union TypeMismatch
33d7d618036285744500169fdfa361daec8befc8 String Unchanged TypeMismatch
bd7d237c6254f5f287c275779761bffe68319c16 String Unchanged TypeMismatch
fd112d634aec99f96a1ab874901f82b7d5c44286 String Equivalence TypeMismatch
65af2b6bca75565215581ebe947e559153796fc6 String Equivalence TypeMismatch
b2ed1f6e63febbaaab2257fcdd366db30c5a85b5 String StringEmpty CanNotBeCase
a1f84fafac176666fdfe31b172bb902450aae013 String StringEmpty CanNotBeCase
8683dd8bea0bfa62d59c931b89e1a3eee481041b String String CanNotBeCase
ffaa8595a5dc6970d75237ea1b0b4e9b15f661ed String String CanNotBeCase
a569d134b471c77170f113688b6a5f74354ee874 String SeqLen TypeMismatch
ce498aac30cfda44a1bdb1efdd4d26f6d24850d3 String SeqLen TypeMismatch
273931f295cae76a221c7a89c872b6e35e24ca7b String SeqConcat CanNotBeCase
5edbee73012e01438a6e69fd715cc86fc3b84645 String SeqConcat CanNotBeCase
9541a361f01dd6eaba166fd76b2d4347c54b0c35 String SeqSeq TypeMismatch
d33c2fa683240a3a9caaa6ceddf9ba443d306168 String SeqSeq TypeMismatch
e0e182586ee6065d21af6b03911ce587ce7778b8 String NatSet TypeMismatch
d5930191c5f67edc72095bfa5f63ca9fa22824d9 String NatSet TypeMismatch
80392f34d77b267e25ef4193f05f41f70d46d634 String IntSet TypeMismatch
ef7ef813f264e636c9272095b1b22f38c770c8b9 String IntSet TypeMismatch
c867bcecec4fb86932b24bcf650c19c8c9bdff05 String StringSet TypeMismatch
6232d5f61d869028306e42c8b2ba6da80e883d54 String StringSet TypeMismatch
ec3812afb3fd9b7c63042d69ab0f2bca39be3d3e String SeqSelectSeq TypeMismatch
ff32692eba6b538e7c6c2be08350e88df31b8947 String SeqSelectSeq TypeMismatch
ec6ce3805c6337517b11a6405789de593a4f3f0d String SeqSubSeq TypeMismatch
718b1eb29381e92c40ba3c0f27d6e447329a077a String SeqSubSeq TypeMismatch
94927c085b967611f017a140a44c5b1a75487de0 String NumRange TypeMismatch
e1fd017da4998d6c680b33a4cf26a617064ac1d3 String NumRange TypeMismatch
0acb468f4cd51b74062723e14aad7a4501625b12 String TlcSingletonFun TypeMismatch
a9af237fe45c19b5596357d2ec0b5e4f5f7505ca String TlcSingletonFun TypeMismatch
fa77299d1cda05e7c0f301491bf2e6db85fe2d46 String TlcExtendFun TypeMismatch
8cb1514ddad5d4c1fb52bd8e7c90adebe7e10133 String TlcExtendFun TypeMismatch
971f32e4deff22798a57f20b5837545de8a8309a String TlcPermuteFun TypeMismatch
48b269e4ced86eeaf5b4eab0779c76bae4e81e8a String TlcPermuteFun TypeMismatch
ac1cf6e7617b6152f9ea1bf4ed7bc640075e0337 String TlcSortSeq TypeMismatch
9dd0bc3f8be7921e9e308cbf087e83567776c925 String TlcSortSeq TypeMismatch
27005e32f50868a7402dc1a3fa6b1a3f39c0da01 String TlcEval CanNotBeCase
f6d489eba04cee98d18272bd50aec8f409ff80b4 String TlcEval CanNotBeCase
67d0c1513ed196cba2173996def8137e8b6c870b String BagBagToSet TypeMismatch
4fd9f03c6159342f74bf96784def61b53cb9753d String BagBagToSet TypeMismatch
110676b5c7c8abe9ceb7addf652461963e29b010 String BagSetToBag TypeMismatch
d1cace57f6ee23d8400a343f2a9dc71660ecde7d String BagSetToBag TypeMismatch
848f8387d6094e593d45c01c8a1b2a57bfb6984c String BagBagIn TypeMismatch
c4203ee658dd9edffd60283cec8124b4251f3acf String BagBagIn TypeMismatch
a680738a271f0c4efcaf2b3276726814cadbfc6f String BagEmptyBag TypeMismatch
dc06d670582a10a7bb918b379e08681b523070fb String BagEmptyBag TypeMismatch
d7cf602b356d2113e3f49c5ca89712f628c4ba39 String BagAddBag TypeMismatch
12aff223d8d0c6a4233c5915caecef0cc4798d2b String BagAddBag TypeMismatch
8ba81e2fb282cb3ae4bac844db38ab46384343c7 String BagBagSub TypeMismatch
5587657ed368953ce4b6fbe49e7a8564a1e810d8 String BagBagSub TypeMismatch
68ccfe1ed470087d7b908742c1f295faa2029ee9 String BagCopiesIn TypeMismatch
e5ae54da275209da54809f54eb1345bb08b40840 String BagCopiesIn TypeMismatch
25594be97d3b7904b1bd6f53d796a40d327ff1e8 String BagSubsetEqBag TypeMismatch
84bd6de5d51dc54a3690401296ac2baa5342f981 String BagSubsetEqBag TypeMismatch
5b82cbf35aba5d6fae32033914ae4d29db888323 String BagBagUnion TypeMismatch
154ae6f638f89eceffb93817fddb629d7be9481b String BagBagUnion TypeMismatch
1dc6bf241c9917bd78a813291a1787ffb2236a45 String BagBagCardinality TypeMismatch
8eed52aa1af82c5e848c6c09334ee06460054be4 String BagBagCardinality TypeMismatch
b6086829fffc3f92098cab9365d5297f7c75e93f String BagBagOfAll TypeMismatch
53496efd5e56046ee512abb58038a7f8fa2811a5 String BagBagOfAll TypeMismatch
b7ba430f18ad7977dd1fedaa40d7c37403b6639b String BagSubBag TypeMismatch
9460c28dc862d539ac7fe661b94e12a9b60439a6 String BagSubBag TypeMismatch
20241dc94145c3c4e9168e8c27a73a6e84e00637 String FiniteSetsIsFiniteSet TypeMismatch
57e77949b04bf1101a897bbced2d2bcaeeea3edc String FiniteSetsIsFiniteSet TypeMismatch
3cf826fd3cda7eb8a9e8c9ec7ee2e848398eeaa2 String FiniteSetsCardinality TypeMismatch
c28c066468eaa1966aba67c4e04e777af5ef24f9 String FiniteSetsCardinality TypeMismatch
5860bfe3449906c5a729965330e4e32825e8c8d2 String SeqHead CanNotBeCase
fa0ba5d9568318de9fb78d24ef8841bc1dcda43b String SeqHead CanNotBeCase
1fe95a6faad90bda224f7dbbec64d42fd467fe94 String SeqTail TypeMismatch
8ff4627006f3992327a6a2a42be5524acc5ea000 String SeqTail TypeMismatch
5dd1745fca2aa3437154ae917f185f1fda23a8e2 String SeqAppend TypeMismatch
72827d80befeafd89f51c1d752b1d4123c6cfab2 String SeqAppend TypeMismatch