Safe Haskell | None |
---|
CSPM.Parser.Tokens
Documentation
Constructors
Constructors
Traces | |
Failures | |
FailuresDivergences | |
Refusals | |
RefusalsDivergences | |
Revivals | |
RevivalsDivergences |
Instances
libcspm-1.0.0: A library providing a parser, type checker and evaluator for CSPM.
Safe Haskell | None |
---|
CSPM.Parser.Tokens
Constructors
Constructors
Traces | |
Failures | |
FailuresDivergences | |
Refusals | |
RefusalsDivergences | |
Revivals | |
RevivalsDivergences |
Instances