☰
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
§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