*c      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRST U V W X Y Z [ \ ] ^ _ ` a b  cdefghijkhijkhiijkk lmnopqrstuvwxyz{|}lmnopqrstuvwxyzlmnopqmnopqrststuvwxvwxyz ~ ~ ~~          !"#$  !"#$  !"#$%&'()%&'()%&&'()*+*+*+%  !"#$%&'()*+,-./012  !"#$%&'()*+,-./012.-,/01 %&' )(!" #$*+,-./012222 34534534534567234567676789:89:89:89:;<=>?@;<=>?@<;>=?@;<=>?@ ABCDEFGHIJK ABCDEFGHIJK ABCDEFGHIJK ABCDEFGHIJKLMNOPQRSLMNOPQRSLMNOPQRSLMNOPQRS TUVWXYZ[\]^_`abTUVWXYZ[\]^_`abTUVWXYZ[\]^_`abTUVWXYZ[\]^_`ab               ! " # $ % & ' ()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcd ] e f g F a h i j k l m n o p q r s  t r u v w x y z { | } ~               ?    0DEcflp-2009.1.23CFLPCFLP.Strategies.DepthFirstCFLP.Strategies.CallTimeChoiceCFLP.Strategies CFLP.TestsCFLP.Types.BoolCFLP.Types.ListCFLP.Tests.CallTimeChoiceCFLP.Tests.HigherOrderCFLP.Control.Monad.UpdateCFLP.Control.StrategyCFLP.Data.TypesCFLP.Data.GenericCFLP.Data.UniqueIDCFLP.Data.PrimitiveCFLP.Data.MatchingCFLP.Data.NarrowingCFLP.Data.HigherOrder CFLP.DataUpdateTMonadic fromMonadicCtx Enumerable enumerationNondet NormalFormIDContext ApplyConsResult applyConsDeconsGeneric genericOpsconstrgeneric primitive!consinitID withUniquenondetgroundNormalFormpartialNormalForm ConsPatList:!MatchwithHNFfailurecaseOfcaseOf_ constructorspatternsNarrownarrowunknown?oneOfapplyfun ComputationDataeval evalPartial evalPrintdfsWithEvalTimeChoiceCTCStoreCTCcallTimeChoice+>dfs assertResultsassertResultsNassertResultsLimitfalsetruepFalsepTruenot===dNildConsnil^:pNilpConsnullheadtailmapfoldrtestsignoreFirstNarrowSecondignotsharedVarsAreEqualtwonoDemandOnSharedVarsharedCompoundTermsnegHeadsapplyNotFunction applyBinCons applyChoicemapSharedUnknownsmemberWithFoldafteroverApplicationreverseWithFoldrflipidpointfreeReversefunctionConversion WithUpdateUpdateReturn unUpdateT updateState MonadUpdateupdate StrategyT liftStrategy baseStrategy extendContext extendChoices alterNarrowed TransformerprojectreplaceStrategy emptyContextchoose isNarrowedResinside forBaseOf forContextOf forStateOfTypeduntypedUntypedHeadNormalFormLambdaDelayedFreeVarCons ConsLabelindexnameFunVarfreeVardelayedfromList GenericOpsgenprimlabels consLabels forTypeOfdFalsedTrueWithCMTwithnf2hnfgnfmkVarpnfnfprim_eq solveCons PatternListPData patternListConsListCDataconsListMkConsMonmkConsBranchunMatch WithUntyped withUntypedmatch asCDataOf asPDataOf isNarrowedIDLiftFunLiftliftFun NestLambda nestLambdalambda printSolsevaluatefromCTC ChoiceStoreIM ChoiceStore lookupChoice assertChoice noChoiceslabeledChoices