module Language.Alloy.RessourceNames (
  alloyJarName,
  className,
  classPackage,
  ) where

alloyJarName :: String
alloyJarName :: String
alloyJarName = "org.alloytools.alloy.dist.jar"

className :: String
className :: String
className = "RunAlloy"

classPackage :: String
classPackage :: String
classPackage = "alloy"