Safe Haskell | Safe-Inferred |
---|
Module with the functions used in online Mode.
Documentation
onlineGetValue :: Process -> [Expr] -> IO GValResultSource
onlineGetProof :: Process -> IO StringSource
onlineExit :: Process -> IO StringSource
Safe Haskell | Safe-Inferred |
---|
Module with the functions used in online Mode.
onlineGetValue :: Process -> [Expr] -> IO GValResultSource
onlineGetProof :: Process -> IO StringSource
onlineExit :: Process -> IO StringSource