úÎ Ç,      !"#$%&'()*+ ,-./012,-../001223456734556789:;<=>?@ABCD8989:;>=<<=>@??@AABCD    EFEF G    !"#$ !"#$-G  !"#$%&'()*+,'&)*+%(    !"#$%&'()*+ HIJHIJ KLMNOPQRKLMNOPQRS !"#$ % & ' ( ) * + , - . / 0 1 23456789:;<=>?@ABCDEFGHIJKLMNOPQRSTU V W X Y Z [ \ ] ^ _ `a cflp-0.2.2 Control.CFLPControl.Monad.ConstraintControl.Monad.Constraint.ChoiceData.LazyNondet.TypesData.LazyNondet.UniqueIDData.LazyNondet.MatchingData.LazyNondet.NarrowingData.LazyNondet.PrimitiveData.LazyNondetData.LazyNondet.Types.BoolData.LazyNondet.Types.ListControl.CFLP.Tests!Control.CFLP.Tests.CallTimeChoice ChoiceStoreNondet NormalFormIDinitID withUniqueConsRepconsRepMatchwithHNFmatchfailurecaseOfcaseOf_consNarrownarrowunknown?oneOfnondetgroundNormalFormpartialNormalFormtruepTruefalsepFalsenot===nilpNil^:pConsfromListnullheadtailStrategy ComputationCFLP depthFirsteval evalPartial evalPrintConstrT MonadSolvesolve MonadConstrconstrConstraintStoreassertChoiceStoreUniqueChoice lookupChoice noChoiceschoiceTypeduntypedUntypedHeadNormalFormDelayedFreeVarConsVarmkHNFfreeVardelayedprimprim_eqbase Data.DataData assertResultsassertResultsNassertResultsLimittestsignoreFirstNarrowSecondignotsharedVarsAreEqualtwonoDemandOnSharedVarsharedCompoundTermsnegHeads