export interface GlobalWitnessScope extends WitnessScopeBase { readonly scope: WitnessScope.Global; }