Safe Haskell | None |
---|
Documentation
displayForm :: QName -> Args -> TCM (Maybe DisplayTerm)Source
matchDisplayForm :: DisplayForm -> Args -> TCM (Maybe DisplayTerm)Source
Safe Haskell | None |
---|
displayForm :: QName -> Args -> TCM (Maybe DisplayTerm)Source
matchDisplayForm :: DisplayForm -> Args -> TCM (Maybe DisplayTerm)Source