Language.SMTLib2.Pipe

data SMTPipe

createPipe

createPipeFromHandle

withPipe