How can I know specfication of non-standard functions of z3

[hagozaebii]

Hello, I am a Z3 user.

To my knowledge, Z3 provides non-standard functions (e.g., seq.last_indexof) as well. Could you please advise me on where I can find a list of these non-standard functions and their usage instructions?

[NikolajBjorner]

this one is not documented.
The functions are listed here:

z3/src/ast/seq_decl_plugin.cpp

Line 214 in 9073da4

m_sigs.resize(LAST_SEQ_OP);

The documented functions are listed here:

https://microsoft.github.io/z3guide/docs/theories/Strings

and here

https://microsoft.github.io/z3guide/docs/theories/Sequences

[hagozaebii]

Thanks for your answer @NikolajBjorner
I think that there are non-standard functions which are not involved with seq.
Could I know that How to find them?