/** @external */

/** class in external module */
export class External {
  public one = 1;
}