Documentation

cocasl_reserved_words :: [String]

parseSen :: AParser st (FORMULA C_FORMULA)

cocaslFormula :: AParser st C_FORMULA

modality :: [String] -> AParser st MODALITY

cBasic :: AParser st C_BASIC_ITEM

coSigItems :: AParser st C_SIG_ITEM

codatatype :: [String] -> AParser st CODATATYPE_DECL

acoAlternative :: [String] -> AParser st (Annoted COALTERNATIVE)

coalternative :: [String] -> AParser st COALTERNATIVE

cocomp :: [String] -> Maybe OP_NAME -> AParser st COALTERNATIVE

cocomponent :: [String] -> AParser st COCOMPONENTS

codatatypeToCofreetype :: C_SIG_ITEM -> Range -> C_BASIC_ITEM