Searched defs:is_double (Results 1 – 1 of 1) sorted by relevance
| /PHP-8.0/ext/standard/ | ||
| H A D | basic_functions.stub.php | 1399 function is_double(mixed $value): bool {} function |
Completed in 21 milliseconds
Searched defs:is_double (Results 1 – 1 of 1) sorted by relevance
| /PHP-8.0/ext/standard/ | ||
| H A D | basic_functions.stub.php | 1399 function is_double(mixed $value): bool {} function |
Completed in 21 milliseconds
