exists10

quantors.exists10

§exists10(A0 

type

, A1 

type

, A2 

type

, A3 

type

, A4 

type

, A5 

type

, A6 

type

, A7 

type

, A8 

type

, A9 

type

, f Function bool quantors.exists10.A0 quantors.exists10.A1 quantors.exists10.A2 quantors.exists10.A3 quantors.exists10.A4 quantors.exists10.A5 quantors.exists10.A6 quantors.exists10.A7 quantors.exists10.A8 quantors.exists10.A9)

 => 

bool

:

Any 

[src]