module SystemBuiltinTypes
(Con Data "ExitCode" "ExitFailure",Value{args=1,fixity=Def,priority=9,letBound=True,traced=False})
(Con Data "ExitCode" "ExitSuccess",Value{args=0,fixity=Def,priority=9,letBound=True,traced=False})
(TypeClass "ExitCode",TyCls (Ty ["ExitSuccess","ExitFailure"] []))
