Slang Runtime Library
libraryDependencies += "org.sireum" %%% "macros" % "3.2"
Mill build tool
ivy"org.sireum::macros::3.2"
Scala CLI
//> using dep "org.sireum::macros::3.2"