Agda.TypeChecking.DisplayForm
Documentation
displayForm :: QName -> Args -> TCM (Maybe DisplayTerm)
matchDisplayForm :: DisplayForm -> Args -> Maybe DisplayTerm
Agda-2.3.0: A dependently typed functional programming language and proof assistant
Agda.TypeChecking.DisplayForm
displayForm :: QName -> Args -> TCM (Maybe DisplayTerm)
matchDisplayForm :: DisplayForm -> Args -> Maybe DisplayTerm