 | UMinho Haskell Libraries (1.0) | Contents | Index |
| Language.VDM_SL.TransfEngine |
|
| applyTransf :: Monad m => Document -> m Document |
| ||||||||
| ||||||||
| Description | ||||||||
| This module ??. | ||||||||
| Synopsis | ||||||||
| ||||||||
| Documentation | ||||||||
| applyTransf :: Monad m => Document -> m Document | ||||||||
| Apply all transformations to a VDM_SL document. | ||||||||
| Produced by Haddock version 0.6 |