*u#k}      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|Safe }~~ }~(c) Fontaine 2010 - 2011BSD3fontaine@cs.uni-duesseldorf.de experimentalGHC-onlySafe0DR<A wrapper for tick-events, tau-events and events from Sigma.'The first argument of all functions in e is a phantom-type-argument, i.e. applications pass _|_ and implementations must not use this value.7Sigma is the set of all events that appear in a system."  !"   !"!    !(c) Fontaine 2011BSDfontaine@cs.uni-duesseldorf.de experimentalGHC-onlySafe0DR"A data type for CSPM processes. For efficiency, replicated alphabetized parallel has an explicit constructor. Other replicated operations get translated on the fly. For constructing processes one should rather use the wrappers from CSPM.CoreLanguage.ProcessWrappers.2Just for debugging.8Try to perform an ! return the successor ", or Nothing if the event is not possible.:,A process that has not yet been switched on.;A prefix expression."#$%&'()*+,-./0123456789:;<"6#($%&')*+,-./012345789:;<;:789"#$%&'()*+,-./0123456<"#$%&'()*+,-./0123456789:;<(c) Fontaine 2010 - 2011BSDfontaine@cs.uni-duesseldorf.de experimentalGHC-onlySafeDR%=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`a%=>?@ABCDEKNJMLGHIFOPQRSTUVWXYZ[\]^_`a%a`_^EFGHIJKLMNOPQRSTUVWXYZ[\]ABCD=>?@=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`a(c) Fontaine 2010BSDfontaine@cs.uni-duesseldorf.de experimentalGHC-onlySafeefghijklmnopqrstuvwxyz{efghijklmnopqrstuvwxyz{efghijklmnopqrstuvwxyz{efghijklmnopqrstuvwxyz{(c) Fontaine 2010BSDfontaine@cs.uni-duesseldorf.de experimentalGHC-onlySafe|-The version of the CSPM-CoreLangugage library|M !"6#($%&')*+,-./012345789:;<=>?@ABCDE^_`aefghijklmnopqrstuvwxyz{|||      !"#$%&'()*+,-./0123456789:;<=>?@A*BCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~/CSPM-CoreLanguage-0.3.1.0-8VGjRm3ndPMNH9ZZifefHCSPM.CoreLanguage.EventCSPM.CoreLanguage.ProcessCSPM.CoreLanguage.Field CSPM.CoreLanguage.ProcessWrapperCSPM.CoreLanguagePaths_CSPM_CoreLanguageShowTTEshowTTE ShowEvent showEventTTE TickEventTauEventSEventBEeventEqmember intersection differenceunionnull singletoninsertdeleteeventSetToList allEvents isInRenaming imageRenamingpreImageRenamingisInRenamingDomainisInRenamingRangegetRenamingDomaingetRenamingRangerenamingFromListrenamingToListsingleEventToClosureSetSigmaRenamingRelationEventSetEventProcessPrefixExternalChoiceInternalChoice Interleave InterruptTimeoutSharing AParallel RepAParallelSeqHideStopSkipOmegaChaosAProcess SwitchedOffRenaming LinkParallel ExceptionBL prefixNextswitchOn ExtProcessisOmegaPrefixFieldViewFieldOutFieldIn FieldGuard ClosureView InClosure NotInClosureMaybeInClosureBFfieldEqfieldSetToListfieldSetFromList joinFields splitFields channelLenclosureStateInitclosureStateNextclosureRestoreviewClosureStateviewClosureFieldsseenPrefixInClosureprefixStateInitprefixStateNextprefixStateFinalizeviewPrefixState PrefixState ClosureStateFieldSetField$fShowClosureView$fEqClosureView$fOrdClosureViewprefixexternalChoiceinternalChoice interleave interrupttimeoutsharing aparallelseqhidestopskip switchedOffrenaming linkParallelrepSeqrepInternalChoicerepExternalChoice repInterleave repAParallel repSharingrepLinkParallelchaoscoreLanguageVersioncatchIOversionbindirlibdirdatadir libexecdir sysconfdir getBinDir getLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName