clafer-0.3.9: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.
Language.Clafer.Intermediate.Tracing
traceIrModule :: IModule -> Map Span [Ir] Source
traceAstModule :: Module -> Map Span [Ast] Source
data Ast Source
Constructors
Instances