declare namespace ts.pxtc.extension {
}