Module Common

Summary of exported operations:

binding2SMT
                  ::  Bool -> (Int,AExpr TypeExpr) -> StateT TransState (StateT VState IO) Term

preCondExpOf
                  ::  (String,String) -> [(Int,TypeExpr)] -> StateT TransState (StateT VState IO) Term

postCondExpOf
                  ::  (String,String) -> [(Int,TypeExpr)] -> StateT TransState (StateT VState IO) Term

fromNoCheckQName
                  ::  (String,String) -> (String,String)

applyFunc
                  ::  AFuncDecl TypeExpr -> [(Int,TypeExpr)] -> StateT TransState (StateT VState IO) (AExpr TypeExpr)

pred2SMT
                  ::  AExpr TypeExpr -> StateT TransState (StateT VState IO) Term

normalizeArgs
                  ::  [AExpr TypeExpr] -> StateT TransState (StateT VState IO) ([(Int,AExpr TypeExpr)],[AExpr TypeExpr])

fromNoCheckQName :: (String,String) -> (String,String)