class PoSlave: def __init__(self): self.slave = Popen(['coqtop.opt', '-ideslave'], shell=True, stdin=PIPE, stdout=PIPE) def write(self, line): self.slave.writeline(line) def read(self): return self.slave.readline()