úÎ Ž-      !"#$%&'()*+,-./0123-.//011233456745678    !"#$%& !"#$%&.8  !"#$%&'()*+,-)(+,'*   !"#$%&'()*+,9:;9:;<=>?@ABC<=>?@ABCD      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOcflp-0.1 Control.CFLPControl.Monad.ConstraintControl.Monad.Constraint.ChoiceData.LazyNondetData.LazyNondet.BoolData.LazyNondet.ListControl.CFLP.Tests!Control.CFLP.Tests.CallTimeChoiceConsRepconsRepMatchUnknownunknownIDNondetTypeduntypedHeadNormalFormCons NormalFormmkHNFinitID withUniqueoneOffailurewithHNFcaseOfcaseOf_nondet normalFormconsmatchprim_eqtruepTruefalsepFalsenot===nilpNil^:pConsfromListnullheadtailStrategy ComputationCFLP depthFirsteval evalPrintConstrT MonadSolvesolve MonadConstrconstrConstraintStoreassert ChoiceStoreChoice noChoiceschoicebase Data.DataData assertResultsassertResultsNassertResultsLimittestsignoreFirstNarrowSecondignotsharedVarsAreEqualtwonoDemandOnSharedVarsharedCompoundTermsnegHeads