úÎ*?$m%      !"#$  Safe-Inferred%&'(%&'( Safe-Inferred)*)* Safe-Inferred4functions similar to the Prelude functions on lists QIndex. WARNING: very expensive! Consider using this only for very short lists.         Safe-InferredE+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklm8+,-./0165432789:;<>=?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklm Safe-Inferred Summation. Maximum value. Minimum value.  Mean value. n must not overflow  for word size a1 for streams over which computation is peformed. 6Mean value over the current set of streams passed in.  Safe-InferredDid s hold in the previous period? Has s6 always held (up to and including the current state)? Did s> hold at some time in the past (including the current state)? Once s2. holds, in the following state (period), does s1 continuously hold?  Safe-Inferred Property s) holds at the next period. For example:    0 1 2 3 4 5 6 7  s => F F F T F F T F ...  next s => F F T F F T F ...   ? Note: s must have sufficient history to drop a value from it.  Property s holds for the next n periods. We require n >= 0. If n ==  0, then s( holds in the current period. E.g., if p = always 2 s , then we @ have the following relationship between the streams generated:    0 1 2 3 4 5 6 7  s => T T T F T T T T ...  p => T F F F T T ...    Property s" holds at some period in the next n periods. If n == 0,  then s* holds in the current period. We require n >= 0 . E.g., if p =  eventually 2 s>, then we have the following relationship between the streams  generated:    s => F F F T F F F T ...  p => F T T T F T T T ...    until n s0 s1 means that eventually n s1, and up until at least the  period before s1 holds, s0 continuously holds. release n s0 s1 means that either  always n s1, or s1 holds up to and  including the period at which s0 becomes true.      Safe-Inferrednopq!"#$!"#$#$!"nopq!"#$  Safe-Inferred%  !"#$r     !"#$%&'()*+,-./01234556789:;<=>?@@ABCDDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuuvvwcopilot-libraries-2.1.1Copilot.Library.StacksCopilot.Library.VotingCopilot.Library.UtilsCopilot.Library.RegExpCopilot.Library.StatisticsCopilot.Library.PTLTLCopilot.Library.LTLCopilot.Library.ClocksCopilot.Library.Librariesstackstack'majority aMajoritytailstakenfoldlnfoldl1nfoldrnfoldr1nscanlnscanrnscanl1nscanr1case'!!cycle copilotRegexpcopilotRegexpBsummaxminmeanmeanNowprevious alwaysBeeneventuallyPrevsincenextalways eventuallyuntilreleaseperiodphaseclkclk1StackTop PushStream PopSignal PushSignal majority' aMajority'PgetName StreamName SymbolParserparseSymRegExpRStarRConcatROrRSymbolREpsilonNumSym symbolNumsymbolNumTSymAnylquoterquotelparenrparenstarplusqmarkpointminusnondigit followedBycPrefix optCPrefixciregexptermfactorfactor'anySym parseWordSym parseIntSym parsePSymopOropConcatopSuffixparser hasEpsilonfirstreverse'last'follow preceding hasFinitePath getSymbolsenumSymsregexp2CopilotNFAregexp2CopilotNFAB$fSymbolParserP$fSymbolParserInt64$fSymbolParserInt32$fSymbolParserInt16$fSymbolParserInt8$fSymbolParserWord64$fSymbolParserWord32$fSymbolParserWord16$fSymbolParserWord8$fSymbolParserBoolPhasePeriod