Exemple #1
0
def prop(a: A, x: [number]):
    sub_set = a.some_of(x)
    for el in sub_set:
        if el not in x:
            return False

    return True
Exemple #2
0
def prop(a: A, x: non_empty_list):
    sub_set = a.some_of(x, empty=False)
    return len(sub_set) >= 1
Exemple #3
0
def prop(a: A, x: [number]):
    sub_set = a.some_of(x)
    return len(sub_set) <= len(x)
Exemple #4
0
def prop(a: A, x: non_empty_list):
    sub_set = a.some_of(x, empty=False)
    return len(sub_set) >= 1
Exemple #5
0
def prop(a: A, x: [number]):
    sub_set = a.some_of(x)
    return len(sub_set) <= len(x)
Exemple #6
0
def prop(a: A, x: [number]):
    sub_set = a.some_of(x)
    for el in sub_set:
        if el not in x:
            return False
    return True