import IExtension = require("../../modules/uv-shared-module/IExtension");

interface IVirtexExtension extends IExtension{

}

export = IVirtexExtension;