Home
last modified time | relevance | path

Searched refs:ISet (Results 1 – 25 of 439) sorted by relevance

12345678910>>...18

/dports/lang/mono/mono-5.10.1.57/external/corefx/src/Common/tests/System/Collections/
H A DISet.Generic.Tests.cs24 #region ISet<T> Helper methods
30 protected abstract ISet<T> GenericISetFactory(); in GenericISetFactory()
39 ISet<T> collection = GenericISetFactory(); in GenericISetFactory()
47 ISet<T> set = (ISet<T>)collection; in AddToCollection()
80 ISet<T> set = GenericISetFactory(count); in ICollection_Generic_Add_ReturnValue()
305 ISet<T> set = GenericISetFactory(count); in ISet_Generic_NullEnumerableArgument()
322 ISet<T> set = GenericISetFactory(setLength); in ISet_Generic_ExceptWith()
331 ISet<T> set = GenericISetFactory(setLength); in ISet_Generic_IntersectWith()
340 ISet<T> set = GenericISetFactory(setLength); in ISet_Generic_IsProperSubsetOf()
349 ISet<T> set = GenericISetFactory(setLength); in ISet_Generic_IsProperSupersetOf()
[all …]
/dports/textproc/jade/jade-1.2.1/include/
H A DCharsetDecl.h32 ISet<WideChar> &declared) const;
33 void usedSet(ISet<Char> &) const;
55 ISet<WideChar> &declared) const;
56 void usedSet(ISet<Char> &) const;
65 ISet<WideChar> &to, Number &count) const;
77 void usedSet(ISet<Char> &) const;
78 void declaredSet(ISet<WideChar> &set) const;
81 ISet<WideChar> &declared) const;
98 ISet<WideChar> &to, Number &count) const;
102 ISet<WideChar> declaredSet_;
[all …]
H A DISet.cxx14 ISet<T>::ISet() in ISet() function in SP_NAMESPACE::ISet
19 ISet<T>::~ISet() in ~ISet()
24 ISet<T>::ISet(const T *v, size_t n) in ISet() function in SP_NAMESPACE::ISet
31 Boolean ISet<T>::contains(T x) const in contains()
40 void ISet<T>::addRange(T min, T max) in addRange()
79 void ISet<T>::remove(T c) in remove()
109 void ISet<T>::check() in check()
121 void ISet<T>::clear() in clear()
H A DISet.h25 class ISet {
27 ISet();
28 ISet(const T *, size_t);
29 ~ISet();
35 void add(const ISet<T> &);
44 void swap(ISet<T> &x) { r_.swap(x.r_); } in swap()
/dports/textproc/opensp/OpenSP-1.5.2/include/
H A DCharsetDecl.h33 ISet<WideChar> &declared) const;
34 void usedSet(ISet<Char> &) const;
57 ISet<WideChar> &declared) const;
58 void usedSet(ISet<Char> &) const;
67 ISet<WideChar> &to, Number &count) const;
79 void usedSet(ISet<Char> &) const;
80 void declaredSet(ISet<WideChar> &set) const;
83 ISet<WideChar> &declared) const;
100 ISet<WideChar> &to, Number &count) const;
104 ISet<WideChar> declaredSet_;
[all …]
H A DISet.cxx14 ISet<T>::ISet() in ISet() function in SP_NAMESPACE::ISet
19 ISet<T>::~ISet() in ~ISet()
24 ISet<T>::ISet(const T *v, size_t n) in ISet() function in SP_NAMESPACE::ISet
31 Boolean ISet<T>::contains(T x) const in contains()
40 void ISet<T>::addRange(T min, T max) in addRange()
79 void ISet<T>::remove(T c) in remove()
109 void ISet<T>::check() in check()
121 void ISet<T>::clear() in clear()
H A DISet.h25 class ISet {
27 ISet();
28 ISet(const T *, size_t);
29 ~ISet();
35 void add(const ISet<T> &);
44 void swap(ISet<T> &x) { r_.swap(x.r_); } in swap()
/dports/databases/mdcached/mdcached-1.0.9/mdcached/
H A DISet.h29 class ISet {
34 ISet();
66 ISet<N>::ISet() in ISet() function
73 ISet<N>::add(unsigned i) in add()
83 ISet<N>::test(unsigned i) in test()
93 ISet<N>::remove(unsigned i) in remove()
103 ISet<N>::clear() in clear()
110 ISet<N>::count() in count()
125 ISet<N>::get_elements(unsigned *arr) in get_elements()
154 ISet<N>::_get_bitmap() in _get_bitmap()
[all …]
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding/
H A DVisitorForVariablesIn.cs36 class VisitorForVariablesIn<V, E> : ISymbolicExpressionVisitor<E, E, V, ISet<E>, Dummy>
51 private void Recurse (E expr, ISet<E> set) in Recurse()
56 #region Implementation of IExpressionILVisitor<E,E,V,ISet<E>,Dummy>
57 public Dummy Binary (E pc, BinaryOperator op, V dest, E operand1, E operand2, ISet<E> data) in Binary()
64 public Dummy Isinst (E pc, TypeNode type, V dest, E obj, ISet<E> data) in Isinst()
70 public Dummy LoadNull (E pc, V dest, ISet<E> polarity) in LoadNull()
75 public Dummy LoadConst (E pc, TypeNode type, object constant, V dest, ISet<E> data) in LoadConst()
80 public Dummy Sizeof (E pc, TypeNode type, V dest, ISet<E> data) in Sizeof()
86 public Dummy Unary (E pc, UnaryOperator op, bool unsigned, V dest, E source, ISet<E> data) in Unary()
93 #region Implementation of ISymbolicExpressionVisitor<E,E,V,ISet<E>,Dummy>
[all …]
/dports/deskutils/ical/ical-tcl/types/
H A Dtesthash.C16 typedef IntSet ISet; typedef
36 static int subset(ISet& m1, ISet& m2) { in subset()
48 static int compare(ISet& m1, ISet& m2) { in compare()
55 static void copy(ISet& m1, ISet& m2) { in copy()
106 ISet empty; in black_empty()
181 ISet single; in black_single()
214 ISet temp; in black_single()
244 ISet temp; in black_single()
263 ISet temp; in black_single()
282 ISet temp; in black_single()
[all …]
H A Dtestoset.C27 static int subset(ISet& m1, ISet& m2) {
39 static int compare(ISet& m1, ISet& m2) { in compare()
46 static void copy(ISet& m1, ISet& m2) { in copy()
119 ISet empty; in black_empty()
185 ISet single; in black_single()
219 ISet temp; in black_single()
245 ISet temp; in black_single()
264 ISet temp; in black_single()
377 ISet temp; in black_multiple()
409 ISet temp; in black_multiple()
[all …]
/dports/lang/mono/mono-5.10.1.57/external/api-doc-tools/external/Lucene.Net.Light/src/core/Support/Compatibility/
H A DSortedSet.cs23 public class SortedSet<T> : ISet<T>, ICollection
133 #region ISet<T> Implementation
135 void ISet<T>.ExceptWith(IEnumerable<T> other) in ExceptWith()
143 void ISet<T>.IntersectWith(IEnumerable<T> other) in IntersectWith()
148 bool ISet<T>.IsProperSubsetOf(IEnumerable<T> other) in IsProperSubsetOf()
153 bool ISet<T>.IsProperSupersetOf(IEnumerable<T> other) in IsProperSupersetOf()
158 bool ISet<T>.IsSubsetOf(IEnumerable<T> other) in IsSubsetOf()
163 bool ISet<T>.IsSupersetOf(IEnumerable<T> other) in IsSupersetOf()
168 bool ISet<T>.Overlaps(IEnumerable<T> other) in Overlaps()
173 bool ISet<T>.SetEquals(IEnumerable<T> other) in SetEquals()
[all …]
/dports/math/polymake/polymake-4.5/apps/common/include/
H A Dincidence_tools.h25 template <typename IMatrix, typename ISet>
26 Set<Int> incident_rows(const GenericIncidenceMatrix<IMatrix>& IM, const ISet& column_set) in incident_rows()
34 template <typename IMatrix, typename ISet>
35 Set<Int> not_incident_rows(const GenericIncidenceMatrix<IMatrix>& IM, const ISet& column_set) in not_incident_rows()
43 template <typename IMatrix, typename ISet>
44 Set<Int> common_rows(const GenericIncidenceMatrix<IMatrix>& IM, const ISet& column_set) in common_rows()
56 template <typename IMatrix, typename ISet>
57 Int find_row(const GenericIncidenceMatrix<IMatrix>& IM, const ISet& column_set) in find_row()
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Collections/tests/Generic/HashSet/
H A DHashSet.Generic.cs51 protected override ISet<int> GenericISetFactory() in GenericISetFactory()
75 protected override ISet<SimpleInt> GenericISetFactory() in GenericISetFactory()
90 protected override ISet<EquatableBackwardsOrder> GenericISetFactory() in GenericISetFactory()
110 protected override ISet<int> GenericISetFactory() in GenericISetFactory()
130 protected override ISet<int> GenericISetFactory() in GenericISetFactory()
155 protected override ISet<int> GenericISetFactory() in GenericISetFactory()
175 protected override ISet<int> GenericISetFactory() in GenericISetFactory()
195 protected override ISet<int> GenericISetFactory() in GenericISetFactory()
/dports/devel/boost-docs/boost_1_72_0/libs/icl/test/
H A Dtest_interval_set_shared.hpp339 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef
341 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types()
342 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types()
343 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types()
344 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types()
346 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types()
347 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types()
356 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types()
526 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef
534 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types()
[all …]
/dports/devel/boost-python-libs/boost_1_72_0/libs/icl/test/
H A Dtest_interval_set_shared.hpp339 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef
341 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types()
342 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types()
343 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types()
344 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types()
346 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types()
347 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types()
356 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types()
526 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef
534 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types()
[all …]
/dports/databases/percona57-pam-for-mysql/boost_1_59_0/libs/icl/test/
H A Dtest_interval_set_shared.hpp345 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef
347 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types()
348 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types()
349 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types()
350 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types()
352 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types()
353 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types()
362 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types()
533 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef
541 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types()
[all …]
/dports/databases/percona57-server/boost_1_59_0/libs/icl/test/
H A Dtest_interval_set_shared.hpp345 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef
347 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types()
348 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types()
349 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types()
350 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types()
352 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types()
353 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types()
362 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types()
533 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef
541 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types()
[all …]
/dports/databases/xtrabackup/boost_1_59_0/libs/icl/test/
H A Dtest_interval_set_shared.hpp345 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef
347 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types()
348 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types()
349 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types()
350 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types()
352 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types()
353 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types()
362 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types()
533 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef
541 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types()
[all …]
/dports/databases/percona57-client/boost_1_59_0/libs/icl/test/
H A Dtest_interval_set_shared.hpp345 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef
347 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types()
348 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types()
349 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types()
350 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types()
352 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types()
353 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types()
362 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types()
533 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef
541 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types()
[all …]
/dports/devel/boost-libs/boost_1_72_0/libs/icl/test/
H A Dtest_interval_set_shared.hpp339 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef
341 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types()
342 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types()
343 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types()
344 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types()
346 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types()
347 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types()
356 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types()
526 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef
534 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types()
[all …]
/dports/databases/mysqlwsrep57-server/boost_1_59_0/libs/icl/test/
H A Dtest_interval_set_shared.hpp345 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef
347 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types()
348 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types()
349 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types()
350 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types()
352 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types()
353 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types()
362 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types()
533 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef
541 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types()
[all …]
/dports/devel/hyperscan/boost_1_75_0/libs/icl/test/
H A Dtest_interval_set_shared.hpp339 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef
341 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types()
342 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types()
343 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types()
344 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types()
346 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types()
347 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types()
356 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types()
526 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef
534 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types()
[all …]
/dports/textproc/opensp/OpenSP-1.5.2/spcat/
H A Dspcat_inst.cxx56 #pragma define_template ISet<unsigned int>
59 #pragma define(ISet<unsigned int>)
62 template class ISet<unsigned int>;
64 typedef ISet<unsigned int> Dummy_1;
69 #pragma define_template ISet<unsigned short>
72 #pragma define(ISet<unsigned short>)
75 template class ISet<unsigned short>;
77 typedef ISet<unsigned short> Dummy_2;
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DLock.hs13 import qualified Data.IntSet as ISet
75 earlierVars = ISet.fromList [i+1 .. size cxt - 1]
76 if termVars `ISet.isSubsetOf` earlierVars then return () else do
83 let allowedVars = ISet.union earlierVars (ISet.fromList checked)
85 if termVars `ISet.isSubsetOf` allowedVars then return () else do
87 illegalVars = rigid ISet.\\ allowedVars
90 if ISet.null illegalVars then -- only flexible vars are infringing
96 notAllowedVarsError (unArg lk) (ISet.toList illegalVars)

12345678910>>...18