Requirements to build: Follow the steps in https://github.com/zombodb/pgx up to the point where you can have cargo-pgx installed. Run cargo pgx init in the project directory. Run cargo pgx run pg12 and resume the steps in the linked guide to test the functions provided by the extension.