namespace pxt . commands { export interface DeployOptions { reportError : ( e : string ) => void ; showNotification : ( msg : string ) => void ; } export type DeployFnAsync = ( r : ts . pxtc . CompileResult , d ? : DeployOptions ) => Promise < void > ; export let deployCoreAsync = undefined ; export let deployFallbackAsync = undefined ; export let hasDeployFn = ( ) => deployCoreAsync || deployFallbackAsync ; export let deployAsync = ( r , d ? ) => { return ( deployCoreAsync || deployFallbackAsync ) ( r , d ) ; } ; export let patchCompileResultAsync = undefined ; export let browserDownloadAsync = undefined ; export let saveOnlyAsync = undefined ; export let renderBrowserDownloadInstructions = undefined ; export let renderUsbPairDialog = undefined ; export let renderIncompatibleHardwareDialog = undefined ; export let renderDisconnectDialog ; export let showUploadInstructionsAsync = undefined ; export let saveProjectAsync = undefined ; export let electronDeployAsync = undefined ; export let webUsbPairDialogAsync = undefined ; export let onTutorialCompleted = undefined ; export let workspaceLoadedAsync = undefined ; }