Safe-Inferred     GHC-only experimentalfontaine@cs.uni-duesseldorf.deNone: !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ& !"#$%&'()*+,-./0123456* !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJGHC-only experimentalfontaine@cs.uni-duesseldorf.deNone Translate a LModule into a Doc& containing a number of Prolog facts. 8 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 facts KDMap the abstract datatype LBuiltIn back to plain Strings for Prolog the renamed Module  prolog facts LMNOPQRSTUVWXKYLMNOPQRSTUVWXKYGHC-only experimentalFontaine@cs.uni-duesseldorf.deNoneAZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~=Z[\]^_`abcdefghijklmnopqrstuvwxyz{|}~GHC-only experimentalfontaine@cs.uni-duesseldorf.deNone)The version of the CSPM-ToProlog library ( reads a CSPM specification from inFile 2 and writes the Prolog representation to outFile. D It handles all lexer and parser errors and catches all exceptions. filename input filename output        !!""#$$%&&'(()**+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\R]^_` abcdefghijklmnopqrstuvwxyz{|}~CSPM-ToProlog-0.5.1.0 Language.CSPM.CompileAstToPrologLanguage.CSPM.AstToPrologLanguage.CSPM.TranslateToPrologPaths_CSPM_ToProlog"Language.Prolog.PrettyPrint.Direct cspToPrologmkSrcLoc mkSymbolTabletoPrologtoPrologVersiontranslateToPrologcatchIOversionbindirlibdirdatadir libexecdir getBinDir getLibDir getDataDir getLibexecDirgetDataFileNameCLAUSEclause 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 $fGTPLK10$fGTPK10$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