type F1 = () => number
type F2 = (p: string) => string
type UT = F1 | F2 | number

function main() {
    let v: UT = 42.0
    assertEQ(v, 42.0)
    v = (): number => { return 16.0 }
    assertEQ((v as F1)(), 16.0)
    v = (p: string): string => p + " " + p
    assertEQ((v as F2)('hello'), 'hello hello')
}

export declare function main(): void;
export type F1 = () => number;
export type F2 = (p1: string) => string;
export type UT = (() => number) | ((p1: string) => string) | number;