Library SimpleIO.SimpleIO

From SimpleIO Require Export
     IO_Monad
     IO_Pervasives
     IO_PervasivesAxioms
     IO_Exceptions
     IO_RawChar
     IO_String.