úÎSßOá?      !"#$%&'() * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > None?"Output a document to the console. @.Output a document and newline to the console. A Output a string to the console. B,Output a string and newline to the console. COutput chatty ok type responses. E These are only displayed in the Interactive and Batch interfaces. ?@ABC?@ABC?@ABC Safe-Inferred*Where some source code was obtained from. -This is used when generating error messages.  Part of a .dcx batch file. Typed into the console. Supplied on the command line. Read directly from a file. ?Get the starting source line number to report for this source. Get the name of a source. NoneCompile via the LLVM backend. Compile via the C backend. (Configuration for main compiler stages. Dump intermediate code. *Simplifiers to apply to intermediate code Backend code generator to use Runtime system configuration /The builder to use for the target architecture !Suppress imports in Core modules  Suppress the #import prelude in C modules Override output file &Override directory for build products  Keep intermediate .ddc.ll files Keep intermediate .ddc.c files Keep intermediate .ddc.s files Type check Core Lite. Optimise Core Lite. Optimise Core Salt.  Convert Core Lite to Core Salt. Convert Core Salt to C code. Compile Core Salt via C code. Convert Core Salt to LLVM. Compile LLVM code. DIf the Dump mode is set : then produce a SinkFile to write a module to a file, ; otherwise produce SinkDiscard to drop it on the floor.  Path of original source file. 0 Build products are placed into the same dir. 'Should we link this into an executable  Path of original source file. 0 Build products are placed into the same dir. 'Should we link this into an executable D         DNone!Compile a source module into a .o file. !!!!NoneEFG"""EFG"None#Load and typecheck a module. $<Load and transform a module, printing the result to stdout. 7 The current transform is set with the given string. %Load and transform a module,  then print the result to stdout. #Language fragment. Path to the module. H$Simplifier specification. *More modules to use as inliner templates. Module file name. IJ%Language definition Source of the code. Program module text. #$%#$%#H$IJ%None&)Make a source module into an executable. &&&&None'Load and typecheck a module'-s rewrite rules, using exported and imported  definitions from module 'Language fragment. Path to the module. )Module with types of imports and exports KL'''KLNone()Parse, check, and convert a module to C. The output is printed to stdout. (Compiler configuration. Language definition. Source of the code. Program module text. ((( None),Parse, check and convert a module to LLVM. The output is printed to stdout. )Compiler configuration. Language definition. Source of the code. Program module text. ))) None*0Parse, check, and fully evaluate an expression. The output is printed to stdout. M#Erase the import list of a module. *Compiler configuration. Language definition. Source of the code. Program module text. M***M None+0What components of the checked type to display. 0 Show the universe of some type. 1,Given the type of some thing (up one level) # show the universe of the thing. 2-Given the kind of some thing (up two levels) # show the universe of the thing. 3/Given the sort of some thing (up three levels) # show the universe of the thing.  We can'.t type check naked sorts, so just parse them. 4Show the kind of a type. 5"Check if two types are equivlant. 6Show the type of a witness. 7 Show the type of an expression. 8>Check expression and reconstruct type annotations on binders. 90Parse and type-check a core module from a file. :2Parse and type-check a core module from a string. ;'Parse a core type, and check its kind. <"Parse the given core expression, ; and return it, along with its type, effect and closure. CIf the expression had a parse error, undefined vars, or type error # then print this to the console. FWe include a flag to override the language profile to allow partially K applied primitives. Although a paticular evaluator (or backend) may not J support partially applied primitives, we want to accept them if we are 1 only loading an expression to check its type. +,-./0123456789:;<The current language fragment. Current modules )Allow partial application of primitives. (Where this expression was sourced from. Text to parse. +,-./0123456789:;<012345678+/.-,9:;<+/.-,0123456789:;< None='Parse, check, and pretty print a module's internal representation. >,Parse, check, and pretty print an expression's internal representation. =>=>=>=>N !"#$%&'()*+,-./012345 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O PQRSTUVWXY Z[ddc-driver-0.3.1.1DDC.Driver.SourceDDC.Driver.StageDDC.Driver.Command.CompileDDC.Driver.Command.BaseBuildDDC.Driver.Command.LoadDDC.Driver.Command.MakeDDC.Driver.Command.RewriteRulesDDC.Driver.Command.ToCDDC.Driver.Command.ToLlvmDDC.Driver.Command.ToSaltDDC.Driver.Command.CheckDDC.Driver.Command.AstDDC.Driver.OutputSource SourceBatch SourceConsole SourceArgs SourceFilelineStartOfSource nameOfSource ViaBackendViaLLVMViaCConfig configDumpconfigSimplLiteconfigSimplSaltconfigViaBackend configRuntime configBuilderconfigSuppressCoreImportsconfigSuppressHashImportsconfigOutputFileconfigOutputDirconfigKeepLlvmFilesconfigKeepSeaFilesconfigKeepAsmFiles stageLiteLoad stageLiteOpt stageSaltOptstageLiteToSalt stageSaltToCstageCompileSaltstageSaltToLLVMstageCompileLLVM cmdCompile cmdBaseBuild cmdReadModulecmdLoadFromFilecmdLoadFromStringcmdMakecmdTryReadRulescmdToC cmdToLlvm cmdToSalt ShowTypeModeShowTypeClosureShowTypeEffect ShowTypeValue ShowTypeAll cmdUniverse cmdUniverse1 cmdUniverse2 cmdUniverse3 cmdShowKind cmdTypeEquiv cmdShowWType cmdShowType cmdExpReconcmdCheckModuleFromFilecmdCheckModuleFromStringcmdParseCheckTypecmdParseCheckExp cmdAstModule cmdAstExpoutDocoutDocLnoutStroutStrLn chatStrLndump baseLiteFiles baseSaltFiles baseSeaFilescmdReadModule_parsecmdLoad_languageconfigLoad_simplcmdReadRules_parseparse eraseImports