("z      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxy z{|}~zzGHC-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.dey.The version of the CSPM-CoreLangugage library M !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\uvwxyyy      !"#$%&'()*+,-./0123456789:;<=>?@A=BCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~CSPM-CoreLanguage-0.3.0.0CSPM.CoreLanguage.EventCSPM.CoreLanguage.Process CSPM.CoreLanguage.ProcessWrapperCSPM.CoreLanguage.FieldCSPM.CoreLanguagePaths_CSPM_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 ClosureStateFieldSetFieldcoreLanguageVersionversionbindirlibdirdatadir libexecdir getBinDir getLibDir getDataDir getLibexecDirgetDataFileName