prusto-macros (cargo): prusto macros
Keywords: prestosql|presto|rust|sql|trino