Hets - the Heterogeneous Tool Set

Copyright(c) Daniel Calegari Universidad de la Republica, Uruguay 2013
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerdcalegar@fing.edu.uy
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

QVTR.StatAna

Description

 

Documentation

getSomething :: [Maybe a] -> [a]

buildKeyDefs :: Sign -> Sign -> [Key] -> ([(String, String)], [Diagnosis])