CSPM-cspm-0.7.0.0: cspm command line tool for analyzing CSPM specifications.
CSPM.LTS.ToDot
Description
dump a Lts as a Dot-file todo : completely rewrite (use dot-library)
Synopsis
mkDotFile :: FilePath -> LTS -> IO ()Source
Dump a LTS as a .dot-file.