How to use gmp Library?

How do I tell DeveSenses to recognize the functions in the gmp library?

DonaldWinston thank you for the question!

Please use the setting "php.stubs":

And change it to the following:

    "php.stubs": [
        "*",
        "gmp"
    ]

Alternatively, you can use the quick action to "gmp" stubs:

gmp functions will appear: