Notty

Declaring terminals.

Notty_unix

Notty IO for pure Unix.

Notty_lwt

Notty IO Lwt on Unix.