Index
| !! | Copilot.Library.Utils, Copilot.Library.Libraries |
| always | Copilot.Library.LTL, Copilot.Library.Libraries |
| alwaysBeen | Copilot.Library.PTLTL, Copilot.Library.Libraries |
| aMajority | Copilot.Library.Voting, Copilot.Library.Libraries |
| case' | Copilot.Library.Utils, Copilot.Library.Libraries |
| clk | Copilot.Library.Clocks, Copilot.Library.Libraries |
| clk1 | Copilot.Library.Clocks, Copilot.Library.Libraries |
| copilotRegexp | Copilot.Library.RegExp, Copilot.Library.Libraries |
| copilotRegexpB | Copilot.Library.RegExp, Copilot.Library.Libraries |
| cycle | Copilot.Library.Utils, Copilot.Library.Libraries |
| eventually | Copilot.Library.LTL, Copilot.Library.Libraries |
| eventuallyPrev | Copilot.Library.PTLTL, Copilot.Library.Libraries |
| majority | Copilot.Library.Voting, Copilot.Library.Libraries |
| max | Copilot.Library.Statistics, Copilot.Library.Libraries |
| mean | Copilot.Library.Statistics, Copilot.Library.Libraries |
| meanNow | Copilot.Library.Statistics, Copilot.Library.Libraries |
| min | Copilot.Library.Statistics, Copilot.Library.Libraries |
| next | Copilot.Library.LTL, Copilot.Library.Libraries |
| nfoldl | Copilot.Library.Utils, Copilot.Library.Libraries |
| nfoldl1 | Copilot.Library.Utils, Copilot.Library.Libraries |
| nfoldr | Copilot.Library.Utils, Copilot.Library.Libraries |
| nfoldr1 | Copilot.Library.Utils, Copilot.Library.Libraries |
| nscanl | Copilot.Library.Utils, Copilot.Library.Libraries |
| nscanl1 | Copilot.Library.Utils, Copilot.Library.Libraries |
| nscanr | Copilot.Library.Utils, Copilot.Library.Libraries |
| nscanr1 | Copilot.Library.Utils, Copilot.Library.Libraries |
| period | Copilot.Library.Clocks, Copilot.Library.Libraries |
| phase | Copilot.Library.Clocks, Copilot.Library.Libraries |
| previous | Copilot.Library.PTLTL, Copilot.Library.Libraries |
| release | Copilot.Library.LTL, Copilot.Library.Libraries |
| since | Copilot.Library.PTLTL, Copilot.Library.Libraries |
| stack | Copilot.Library.Stacks, Copilot.Library.Libraries |
| stack' | Copilot.Library.Stacks, Copilot.Library.Libraries |
| sum | Copilot.Library.Statistics, Copilot.Library.Libraries |
| tails | Copilot.Library.Utils, Copilot.Library.Libraries |
| take | Copilot.Library.Utils, Copilot.Library.Libraries |
| until | Copilot.Library.LTL, Copilot.Library.Libraries |