úÎ ªH/      !"#$%&'()*+,-./012345/0112334556789:67889:;<=>?@ABCDEFG;<;<=>A@??@ACBBCDDEFG   H IH I  J    !"#$%&' !"#$%&'0J  !"#$%&'()*+,-./*),-.(+    !"#$%&'()*+,-. KLMKLMNOPQRSTUNOPQRSTUV !"# $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXY Z [ \]^_`abcde cflp-0.2.1 Control.CFLPControl.Monad.ConstraintControl.Monad.Constraint.ChoiceData.LazyNondet.TypesData.LazyNondet.UniqueIDData.LazyNondet.NarrowingData.LazyNondet.PrimitiveData.LazyNondet.CombinatorsData.LazyNondet.MatchingData.LazyNondetData.LazyNondet.Types.BoolData.LazyNondet.Types.ListControl.CFLP.Tests!Control.CFLP.Tests.CallTimeChoice ChoiceStoreNondet NormalFormIDinitID withUnique NarrowPolicy OnCreationOnDemandNarrow narrowPolicynarrowunknownnondetgroundNormalFormpartialNormalFormConsRepconsReponeOffailureconsMatchwithHNFmatchcaseOfcaseOf_truepTruefalsepFalsenot===nilpNil^:pConsfromListnullheadtailStrategy ComputationCFLP depthFirsteval evalPartial evalPrintConstrT MonadSolvesolve MonadConstrconstrConstraintStoreassertChoiceStoreUniqueChoice lookupChoice noChoiceschoiceTypeduntypedUntypedHeadNormalFormDelayedFreeVarConsVarmkHNFfreeVardelayedprimprim_eqbase Data.DataData assertResultsassertResultsNassertResultsLimittestsignoreFirstNarrowSecondignotsharedVarsAreEqualtwonoDemandOnSharedVarsharedCompoundTermsnegHeads