Agda.TypeChecking.DisplayForm

displayForm

matchDisplayForm

class Match a