copilot-libraries-4.6.1: Libraries for the Copilot language.

Index

!!! | Copilot.Library.Utils, Copilot.Library.Libraries
always |
1 (Function) | Copilot.Library.MTL
2 (Function) | Copilot.Library.LTL, Copilot.Library.Libraries
alwaysBeen |
1 (Function) | Copilot.Library.PTLTL, Copilot.Library.Libraries
2 (Function) | Copilot.Library.MTL
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 |
1 (Function) | Copilot.Library.MTL
2 (Function) | Copilot.Library.LTL, Copilot.Library.Libraries
eventuallyPrev |
1 (Function) | Copilot.Library.PTLTL, Copilot.Library.Libraries
2 (Function) | Copilot.Library.MTL
majority | Copilot.Library.Voting, Copilot.Library.Libraries
matchingRelease | Copilot.Library.MTL
matchingSince | Copilot.Library.MTL
matchingTrigger | Copilot.Library.MTL
matchingUntil | Copilot.Library.MTL
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 |
1 (Function) | Copilot.Library.MTL
2 (Function) | Copilot.Library.LTL, Copilot.Library.Libraries
since |
1 (Function) | Copilot.Library.PTLTL, Copilot.Library.Libraries
2 (Function) | Copilot.Library.MTL
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
trigger | Copilot.Library.MTL
until |
1 (Function) | Copilot.Library.MTL
2 (Function) | Copilot.Library.LTL, Copilot.Library.Libraries