System.Term

Definitions

setupTerm : IO ()

Totality: total
Visibility: export

getTermCols : IO Int

Totality: total
Visibility: export

getTermLines : IO Int

Totality: total
Visibility: export