Agda.TypeChecking.DisplayForm
dtermToTerm
displayFormArities
displayForm
matchDisplayForm
class Match a