Ivory.Opts.Overflow

Assert folding: add asserts expression overflow/underflow.

Documentation

overflowFold :: Proc -> Proc

addBase :: String

subBase :: String

mulBase :: String

divBase :: String

(<+>) :: String -> String -> String

ext :: Type -> String