Idris.REPLParser

parseCmd

help

allHelp

setOptions