| Safe Haskell | None |
|---|
Language.Clafer.IG.Sugarer
- sugarClaferModel :: Bool -> Bool -> Maybe Info -> ClaferModel -> Map Int String -> ClaferModel
Documentation
sugarClaferModel :: Bool -> Bool -> Maybe Info -> ClaferModel -> Map Int String -> ClaferModelSource
Rewrite the model into a human-friendlier format