Language.Clafer.IG.CommandLine

runCommandLine

printError

findNecessaryBitwidth

intToFloat

pickLargerScope

allowedMaxInt

requiredBitwidth