úΕ ¶0      !"#$%&'()*+,-./  01234567856785667889:;<=>9;<=>9;<;<=>?@ABCDEFGHIJKL?@ABCDEFGHIJK?@?@ABEDCCDEGFFGHHIJKMNOPQ RST UVWXYZ[     \ ]^_`abcdcc     !"#$%&' !"#$%&' !"#$%&' ()*+e,f-./g0  !"#$%&'()*+,-./0+*)-./(,      !"#$%&'()*+,-./ hijhijhij klmnopqrklmnopqrklmnopqrs !"#$%&'() * + , - . / 0 1 2 3 4 5 6 789:;<=>?@ABCADEFGGHIJKLMNOPQRSTUV4WXYZ[\]^_`XYZabcdefghijklm n o p q r s t u v w xy cflp-2009.1.6 Control.CFLPControl.Monad.UpdateControl.Constraint.ChoiceData.LazyNondet.TypesData.LazyNondet.UniqueIDData.LazyNondet.MatchingData.LazyNondet.NarrowingData.LazyNondet.PrimitiveData.LazyNondetData.LazyNondet.Types.BoolData.LazyNondet.Types.ListControl.CFLP.Tests!Control.CFLP.Tests.CallTimeChoicebase Data.DataDataUpdateT ChoiceStoreNondet NormalFormIDinitID withUniqueConsRepconsRepMatchwithHNFmatchfailurecaseOfcaseOf_consNarrownarrowunknown?oneOfprimnondetgroundNormalFormpartialNormalFormtruepTruefalsepFalsenot===nilpNil^:pConsfromListnullheadtailStrategy ComputationCSCFLP depthFirsteval evalPartial evalPrint WithUpdateUpdateReturn unUpdateT updateState MonadUpdateupdate ChoiceStoreIM lookupChoice assertChoice noChoiceschoiceTypeduntypedUntypedHeadNormalFormDelayedFreeVarConsVarmkHNFfreeVardelayedWithCMTwithMkConsmkConsBranchunMatch WithUntyped withUntypedredelaygenericnf2hnfgnfmkVarpnfnfprim_eq solveCons noConstraintsevaluate printSols assertResultsassertResultsNassertResultsLimittestsignoreFirstNarrowSecondignotsharedVarsAreEqualtwonoDemandOnSharedVarsharedCompoundTermsnegHeads