// File a.ts
export const A = "alpha";