checkNonFailFunc
:: String -> Term -> Term -> Term -> StateT TransState (StateT VState IO) (Maybe Bool)
|
checkPreCon
:: String -> Term -> Term -> Term -> String -> [Int] -> StateT TransState (StateT VState IO) (Maybe Bool)
|
checkPostCon
:: String -> Term -> Term -> Term -> StateT TransState (StateT VState IO) (Maybe String)
|
|
|
|