export declare const allNames: string[];
export declare const names: {
    Alice: string;
    Bob: string;
    Charlie: string;
    David: string;
    Eve: string;
    Frank: string;
    Grace: string;
    Heidi: string;
    Ivan: string;
    Judy: string;
    Micheal: string;
    Niaj: string;
    Oscar: string;
    Paul: string;
    Rupert: string;
    Sybil: string;
    Ted: string;
    Victor: string;
    Wendy: string;
};