hets -- a heterogenous Specification (CASL) tool setContentsIndex
CspCASL.CCKeywords
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
CSP-CASL keywords
Synopsis
ccspecS :: String
dataS :: String
channelS :: String
processS :: String
endS :: String
equalS :: String
letS :: String
inS :: String
semicolonS :: String
commaS :: String
colonS :: String
skipS :: String
stopS :: String
ifS :: String
thenS :: String
elseS :: String
whenS :: String
varS :: String
oRBracketS :: String
cRBracketS :: String
oSBracketS :: String
cSBracketS :: String
multiPreS :: String
extChoiceS :: String
intChoiceS :: String
oAlPaS :: String
cAlPaS :: String
oGenPaS :: String
mGenPaS :: String
cGenPaS :: String
synParaS :: String
interParaS :: String
hidingS :: String
oRenamingS :: String
cRenamingS :: String
prefixS :: String
sendS :: String
receiveS :: String
chanRenS :: String
csp_casl_keywords :: [String]
Produced by Haddock version 0.6