☰
for_all10
quantors.for_all10
§for_all10(A0 type, A1 type, A2 type, A3 type, A4 type, A5 type, A6 type, A7 type, A8 type, A9 type, f Function bool quantors.for_all10.A0 quantors.for_all10.A1 quantors.for_all10.A2 quantors.for_all10.A3 quantors.for_all10.A4 quantors.for_all10.A5 quantors.for_all10.A6 quantors.for_all10.A7 quantors.for_all10.A8 quantors.for_all10.A9) => bool:Any
§for_all10(A0
type
, A1 type
, A2 type
, A3 type
, A4 type
, A5 type
, A6 type
, A7 type
, A8 type
, A9 type
, f Function bool quantors.for_all10.A0 quantors.for_all10.A1 quantors.for_all10.A2 quantors.for_all10.A3 quantors.for_all10.A4 quantors.for_all10.A5 quantors.for_all10.A6 quantors.for_all10.A7 quantors.for_all10.A8 quantors.for_all10.A9) =>
bool:
Any