/ Safe-Inferred     (c) Fontaine 2010 - 2011BSD3fontaine@cs.uni-duesseldorf.de experimentalGHC-onlyNone24: !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKL& !"#$%&'()*+,-./012345678* !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKL(c) Fontaine, Dobrikov 2011BSD3fontaine@cs.uni-duesseldorf.de experimentalGHC-onlyNone Translate a LModule into a Doc^ containing a number of Prolog facts. The LModule must be a renamed,i.e. contain only unique Identifier.%Translate a source location to Prolog Translate a  AstAnnotation with UnqiueIdentifier (i.e. a Symboltable) into a Doc containing Prolog factsMCMap the abstract datatype LBuiltIn back to plain Strings for Prologthe renamed Module prolog factsNOPQRSTUVWXYZM[NOPQRSTUVWXYZM[(c) Fontaine 2012BSD3Fontaine@cs.uni-duesseldorf.de experimentalGHC-onlyNone1234JK?\]^_`abcdefghijklmnopqrstuvwxyz{|}~;\]^_`abcdefghijklmnopqrstuvwxyz{|}~(c) Fontaine 2010 - 2011BSD3fontaine@cs.uni-duesseldorf.de experimentalGHC-onlyNoneM(The version of the CSPM-ToProlog library reads a CSPM specification from inFile and writes the Prolog representation to outFile. It handles all lexer and parser errors and catches all exceptions. filename inputfilename output       !"##$$%&&'(()**+,,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^T_`ab"cdefghijklmnopqrstuvwxyz{|}~CSPM-ToProlog-0.5.2.0 Language.CSPM.CompileAstToPrologLanguage.CSPM.AstToPrologLanguage.CSPM.TranslateToPrologPaths_CSPM_ToProlog"Language.Prolog.PrettyPrint.Direct cspToPrologmkSrcLoc mkSymbolTabletoPrologtoPrologVersiontranslateToPrologcatchIOversionbindirlibdirdatadir libexecdir sysconfdir getBinDir getLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameCLAUSEclause PREDICATE predicateTERMLISTtermListTERMtermATOMatomQuoteDeclunDeclClauseunClause Predicate unPredicateTermunTermAtomunAtom renderProlognTermaTermpListplVar plWildCardnClause singleClause declGroupplPrg quoteString $fCLAUSEp$fCLAUSEClause $fPREDICATEt$fPREDICATEPredicate $fTERMLISTt$fTERMLIST(,,,,,,)$fTERMLIST(,,,,,)$fTERMLIST(,,,,)$fTERMLIST(,,,)$fTERMLIST(,,) $fTERMLIST(,) $fTERMLIST[] $fTERMAtom $fTERMTerm $fATOMQuote $fATOMDouble $fATOMInt $fATOMInteger$fATOM[] $fATOMAtombuiltInToStringplLocatedConstructsmkModulemkPragma mkCommentteeListtpdeclListtd plNameTermplName uniquePlNameplLoc unBuiltInTPLtplTPGTPLgtplGTPgtp$fGTPLU1$fGTPU1$fGTPLV1$fGTPV1$fGTPLK1$fGTPK1$fGTPLM1$fGTPM1 $fGTPLM10$fGTPM10 $fGTPLM11$fGTPM11 $fGTPL:+:$fGTP:+: $fGTPL:*:$fGTP:*:$fTPUniqueIdent $fTPSelector $fTPFunCase $fTPConst$fTPBool $fTPIntMap $fTPArray$fTPInt $fTPInteger$fTP(,) $fTPMaybe$fTP[]$fTP[]0 $fTPSrcLoc $fTPComment $fTPModule $fTPLFdrExt$fTPLFDRModels$fTPLTauRefineOp $fTPLRefineOp$fTPL[]$fTPLCommField $fTPLBuiltIn $fTPLLink $fTPLRename $fTPLLinkList $fTPLCompGen $fTPLRange $fTPLTypeDef$fTPLConstructor$fTPLAssertDecl$fTPLUniqueIdent$fTPLExp $fTPLPattern $fTPLIdent $fTPLDecl $fTPLabeledmainWorkshowTime defaultHeader simpleFactmkResult printDebugparseErrorHandlerlexErrorHandlerrenameErrorHandlercatchAllExceptions