CSPM-Frontend-0.4.1.0: A CSP-M parser compatible with FDR-2.83

PortabilityGHC-only
Stabilityprovisional
MaintainerFontaine@cs.uni-duesseldorf.de

Language.CSPM.SrcLoc

Description

This module contains the datatype for sourcelocations and some utility functions.

Documentation