CSPM-Frontend-0.7.4.4: A CSP-M parser compatible with FDR-2.91

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

Language.CSPM.SrcLoc

Description

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

Documentation