Portability | portable |
---|---|
Stability | provisional |
Maintainer | Ahn, Ki Yung <kya@pdx.edu> |
Inter-process communication to Yices through pipe.
Documentation
type YicesIPC = (Maybe Handle, Maybe Handle, Maybe Handle, ProcessHandle)Source
type abbrevation for IPC handle quadruple
To read in the result of the (check) command