Exemple #1
0
def prop(a: A, x: number):
    shuffled = a.shuffle([x])
    return shuffled == [x]
Exemple #2
0
def prop(a: A, x: number):
    shuffled = a.shuffle([x])
    return shuffled == [x]
Exemple #3
0
def prop(a: A, x: [number]):
    shuffled = a.shuffle(x)
    return len(shuffled) == len(x)
Exemple #4
0
def prop(a: A, x: [number]):
    shuffled = a.shuffle(x)
    return len(shuffled) == len(x)