exists9

quantors.exists9

§exists9(A0 

type

, A1 

type

, A2 

type

, A3 

type

, A4 

type

, A5 

type

, A6 

type

, A7 

type

, A8 

type

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

 => 

bool

:

Any 

[src]