export {default as v} from "mod";

[sstur]

It might be worth mentioning that the following are synonymous:

import v from "mod";
import {default as v} from "mod";

likewise, your proposed:

export v from "mod";

... has an existing form:

export {default as v} from "mod";

This is not to invalidate your argument for parity between import from and export from. Just something worth mentioning for completeness.

[leebyron]

Great suggestion, will do!

[leebyron]

tc39/proposal-export-default-from@172623e