module System
(Var "exitFailure",Value{args=0,fixity=Def,priority=9,letBound=True})
(Var "exitWith",Value{args=1,fixity=Def,priority=9,letBound=True})
(Var "getArgs",Value{args=0,fixity=Def,priority=9,letBound=True})
(Var "getEnv",Value{args=1,fixity=Def,priority=9,letBound=True})
(Var "getProgName",Value{args=0,fixity=Def,priority=9,letBound=True})
(Var "system",Value{args=1,fixity=Def,priority=9,letBound=True})
(Con Data "ExitCode" "ExitFailure",Value{args=1,fixity=Def,priority=9,letBound=True})
(Con Data "ExitCode" "ExitSuccess",Value{args=0,fixity=Def,priority=9,letBound=True})
(TypeClass "ExitCode",TyCls (Ty ["ExitSuccess","ExitFailure"] []))
