!! | 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 |