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