Module BindingOpt

Implementation of a transformation to replace Boolean equalities by equational constraints (which binds variables).

Author: Michael Hanus

Version: January 2020

Summary of exported operations:

main
                  ::  IO ()

transformFlatProg
                  ::  Options -> String -> Prog -> IO (Prog,Bool)

main :: IO ()

transformFlatProg :: Options -> String -> Prog -> IO (Prog,Bool)