Agda.TypeChecking.DisplayForm

dtermToTerm

displayForm

matchDisplayForm

class Match a