Safe Haskell | None |
---|
- makeProjection :: QName -> TCM ()
Documentation
makeProjection :: QName -> TCM ()Source
Turn a definition into a projection if it looks like a projection.
Safe Haskell | None |
---|
makeProjection :: QName -> TCM ()Source
Turn a definition into a projection if it looks like a projection.