interface EncodingRange {
    ianaName: string;
    /** actually a u32, but this type is not supported by djinni */
    startIndex: number;
    /** actually a u32, but this type is not supported by djinni */
    endIndex: number;
}
interface SdcCoreCommonBuffer_statics {
}

export type { EncodingRange, SdcCoreCommonBuffer_statics };
