clafer-0.3.9: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.
Language.Clafer.Intermediate.Transformer
transModule :: IModule -> IModule Source
transElement :: IElement -> IElement Source
transClafer :: IClafer -> IClafer Source
transPExp :: Bool -> PExp -> PExp Source
transIExp :: IType -> IExp -> IExp Source