export interface CodeCardRenderOptions {
    hideHeader?: boolean;
    shortName?: boolean;
    role?: string;
    cardCategory?: string;
}
export declare function renderCodeCard(card: pxt.CodeCard, options?: CodeCardRenderOptions): HTMLElement;