Agda.TypeChecking.DisplayForm

dtermToTerm

displayFormArities

displayForm

matchDisplayForm

class Match a

class SubstWithOrigin a