Monadoc
Version 0.3.5.1-0 of claferIG is deprecated.
The latest version of claferIG is 0.4.5-0.

Language.Clafer.IG.ClaferModel

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?