Agda.TypeChecking.Rebind

rebindClause