ascent_macro (cargo): implementation of ascent macros
Keywords: datalog|declarative-language|lattice|logic-programming|rust