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