Agda.TypeChecking.DisplayForm

dtermToTerm

displayFormArities

displayForm

matchDisplayForm

class Match a