úÎ&Ü ¯y      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxGHC-only experimentalfontaine@cs.uni-duesseldorf.de"=A wrapper for tick-events, tau-events and events from Sigma. &The first argument of all function in " is a phantom-type-argument, i.e. D applications pass _|_ and implementations must not use this value. 8Sigma is the set of all events that appear in a system.  !"  !"!  "   !GHC-only experimentalfontaine@cs.uni-duesseldorf.de" A data type for CSPM processes. P For efficiency, replicated alphabetized parallel has an explicit constructor. 9 Other replicated operations get translated on the fly. G For constructing processes one should rather uses the wrappers from % CSPM.CoreLanguage.ProcessWrappers. #$%&'Just for debugging. ()*+,-./012345678Try to perform an ! return the successor " or Nothing if the event is  not possible. 9:-A process that has not yet been switched on. ;A prefix expression. <"#$%&'()*+,-./0123456789:;<;:789"6543210/.-,+*)('&%$#<"6543210/.-,+*)('&%$##$%&'()*+,-./012345678989:;<GHC-only experimentalfontaine@cs.uni-duesseldorf.de=>?@ABCDEFGHIJKLMNOPQRS=>?@ABCDEFGHIJKLMNOPQRS=>?@ABCDEFGHIJKLMNOPQRS=>?@ABCDEFGHIJKLMNOPQRSGHC-only experimentalfontaine@cs.uni-duesseldorf.de%TUVWXYZ[\]^_`abcdefghijklmnopqrstuvwx%TUVWXYZ[\]^_`abcdefghijklmnopqrstuvwx%xwvu\]^_`abcdefghijklmnopqrstX[ZYTWVU%TWVUUVWX[ZYYZ[\]^_`abcdefghijklmnopqrst]^_`abcdefghijklmnopqrstuvwxGHC-only experimentalfontaine@cs.uni-duesseldorf.deL !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\uvwxy      !"#$%&'()*+,-./0123456789:;<=>?@<ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvCSPM-CoreLanguage-0.2.0.3CSPM.CoreLanguage.EventCSPM.CoreLanguage.Process CSPM.CoreLanguage.ProcessWrapperCSPM.CoreLanguage.FieldCSPM.CoreLanguageShowTTEshowTTE ShowEvent showEventTTESEventTauEvent TickEventBEeventEqmember intersection differenceunionnull singletoninsertdeleteeventSetToList allEvents isInRenaming imageRenamingpreImageRenamingisInRenamingDomainisInRenamingRangegetRenamingDomaingetRenamingRangerenamingFromListrenamingToListsingleEventToClosureSetSigmaRenamingRelationEventSetEventProcess Exception LinkParallelRenaming SwitchedOffAProcessChaosOmegaSkipStopHideSeq RepAParallel AParallelSharingTimeout Interrupt InterleaveInternalChoiceExternalChoicePrefixBL prefixNextswitchOn ExtProcessisOmegaprefixexternalChoiceinternalChoice interleave interrupttimeoutsharing aparallelseqhidestopskip switchedOffrenaming linkParallelrepSeqrepInternalChoicerepExternalChoice repInterleave repAParallel repSharingrepLinkParallelchaosPrefixFieldView FieldGuardFieldInFieldOut ClosureViewMaybeInClosure NotInClosure InClosureBFfieldEqfieldSetToListfieldSetFromList joinFields splitFields channelLenclosureStateInitclosureStateNextclosureRestoreviewClosureStateviewClosureFieldsseenPrefixInClosureprefixStateInitprefixStateNextprefixStateFinalizeviewPrefixState PrefixState ClosureStateFieldSetField