úÎ&¨ ˆx      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwGHC-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. '()*+,-./01234567Try to perform an ! return the successor " or Nothing if the event is  not possible. 89-A process that has not yet been switched on. :A prefix expression. ;"#$%&'()*+,-./0123456789:;:9678"543210/.-,+*)('&%$#;"543210/.-,+*)('&%$##$%&'()*+,-./012345678789:;GHC-only experimentalfontaine@cs.uni-duesseldorf.de<=>?@ABCDEFGHIJKLMNOPQR<=>?@ABCDEFGHIJKLMNOPQR<=>?@ABCDEFGHIJKLMNOPQR<=>?@ABCDEFGHIJKLMNOPQRGHC-only experimentalfontaine@cs.uni-duesseldorf.de%STUVWXYZ[\]^_`abcdefghijklmnopqrstuvw%STUVWXYZ[\]^_`abcdefghijklmnopqrstuvw%wvut[\]^_`abcdefghijklmnopqrsWZYXSVUT%SVUTTUVWZYXXYZ[\]^_`abcdefghijklmnopqrs\]^_`abcdefghijklmnopqrstuvwGHC-only experimentalfontaine@cs.uni-duesseldorf.deK !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[tuvwx      !"#$%&'()*+,-./0123456789:;<=>?;@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuCSPM-CoreLanguage-0.1.0.2CSPM.CoreLanguage.EventCSPM.CoreLanguage.Process CSPM.CoreLanguage.ProcessWrapperCSPM.CoreLanguage.FieldCSPM.CoreLanguageShowTTEshowTTE ShowEvent showEventTTESEventTauEvent TickEventBEeventEqmember intersection differenceunionnull singletoninsertdeleteeventSetToList allEvents isInRenaming imageRenamingpreImageRenamingisInRenamingDomainisInRenamingRangegetRenamingDomaingetRenamingRangerenamingFromListrenamingToListsingleEventToClosureSetSigmaRenamingRelationEventSetEventProcess 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