/** @publicApi */
export interface A {
c: number;
a(arg: any[]): {[name: string]: number};
}
export { b } from './verify_submodule';