main module.
- compilerMain :: TCM () -> TCM ()
- enumConstructors :: Definitions -> [QName]
- computeMaxArity :: Definitions -> TCM Nat
- getConstructorArity :: Definition -> TCM Nat
- printConstants :: Definitions -> IO ()
- printShowConstants :: Definitions -> IO ()
Documentation
enumConstructors :: Definitions -> [QName]Source
printConstants :: Definitions -> IO ()Source